[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <57BDDCC9.8070908@citrix.com>
Date: Wed, 24 Aug 2016 18:43:37 +0100
From: David Vrabel <david.vrabel@...rix.com>
To: Vitaly Kuznetsov <vkuznets@...hat.com>,
<xen-devel@...ts.xenproject.org>
CC: Juergen Gross <jgross@...e.com>,
Stefano Stabellini <sstabellini@...nel.org>,
<linux-kernel@...r.kernel.org>,
Julien Grall <julien.grall@....com>,
David Vrabel <david.vrabel@...rix.com>,
"Boris Ostrovsky" <boris.ostrovsky@...cle.com>
Subject: Re: [Xen-devel] [PATCH linux v2] xen: change the type of xen_vcpu_id
to uint32_t
On 29/07/16 10:06, Vitaly Kuznetsov wrote:
> We pass xen_vcpu_id mapping information to hypercalls which require
> uint32_t type so it would be cleaner to have it as uint32_t. The
> initializer to -1 can be dropped as we always do the mapping before using
> it and we never check the 'not set' value anyway.
Applied to for-linus-4.8b, thanks.
David
Powered by blists - more mailing lists