Vitaly Kuznetsov 55467dea29 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>		2016-08-24 18:17:27 +01:00
..
interface	xen: update xen headers	2016-07-06 10:42:13 +01:00
acpi.h
balloon.h
events.h
features.h
grant_table.h
hvc-console.h
hvm.h
page.h	xen: Fix page <-> pfn conversion on 32 bit systems	2016-04-06 11:18:17 +01:00
platform_pci.h
swiotlb-xen.h	dma-mapping: use unsigned long for dma_attrs	2016-08-04 08:50:07 -04:00
tmem.h
xen-ops.h	xen: change the type of xen_vcpu_id to uint32_t	2016-08-24 18:17:27 +01:00
xen.h
xenbus.h
xenbus_dev.h