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
..
Makefile	ARM64: XEN: Add a function to initialize Xen specific UEFI runtime services	2016-07-06 10:34:46 +01:00
efi.c	ARM64: XEN: Add a function to initialize Xen specific UEFI runtime services	2016-07-06 10:34:46 +01:00
enlighten.c	xen: change the type of xen_vcpu_id to uint32_t	2016-08-24 18:17:27 +01:00
grant-table.c	arm/xen: remove duplicate arch_gnttab_init() function	2014-08-11 11:59:14 +01:00
hypercall.S	arm/xen: add support for vm_assist hypercall	2016-07-06 10:42:14 +01:00
mm.c	dma-mapping: use unsigned long for dma_attrs	2016-08-04 08:50:07 -04:00
p2m.c	xen/grant-table: Make it running on 64KB granularity	2015-10-23 14:20:39 +01:00