Searched refs:__VKI_XEN_GUEST_HANDLE (Results 1 – 1 of 1) sorted by relevance
51 #define __VKI_XEN_GUEST_HANDLE(name) __vki_xen_guest_handle_ ## name macro52 #define VKI_XEN_GUEST_HANDLE(name) __VKI_XEN_GUEST_HANDLE(name)