tree 0747b575c667aecfc3baf90d91764d659bc4565b
parent 9a035a40f7f3f6708b79224b86c5777a3334f7ea
author Vitaly Kuznetsov <vkuznets@redhat.com> 1469783208 +0200
committer David Vrabel <david.vrabel@citrix.com> 1472059047 +0100

xen: change the type of xen_vcpu_id to uint32_t

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>
Signed-off-by: David Vrabel <david.vrabel@citrix.com>