Messages in this thread | | | Subject | Re: [PATCH linux v2] xen: change the type of xen_vcpu_id to uint32_t | From | Juergen Gross <> | Date | Tue, 2 Aug 2016 09:08:28 +0200 |
| |
On 29/07/16 11: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. > > Signed-off-by: Vitaly Kuznetsov <vkuznets@redhat.com>
Reviewed-by: Juergen Gross <jgross@suse.com>
Thanks,
Juergen
| |