Searched refs:VKI_XEN_GUEST_HANDLE (Results 1 – 6 of 6) sorted by relevance
56 VKI_XEN_GUEST_HANDLE(void) buffer;65 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start;74 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start; /* OUT */
52 VKI_XEN_GUEST_HANDLE(vki_ulong) frame_list;
65 VKI_XEN_GUEST_HANDLE(const_void) vcpumask;
40 VKI_XEN_GUEST_HANDLE(char) context;
31 typedef VKI_XEN_GUEST_HANDLE(char) vki_xen_tmem_cli_va_t;
48 #define VKI_XEN_GUEST_HANDLE_64(name) VKI_XEN_GUEST_HANDLE(name)52 #define VKI_XEN_GUEST_HANDLE(name) __VKI_XEN_GUEST_HANDLE(name) macro