Searched refs:VKI_XEN_GUEST_HANDLE (Results 1 – 5 of 5) sorted by relevance
28 VKI_XEN_GUEST_HANDLE(void) buffer;37 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start;46 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start; /* OUT */
25 VKI_XEN_GUEST_HANDLE(vki_ulong) frame_list;
38 VKI_XEN_GUEST_HANDLE(const_void) vcpumask;
4 typedef VKI_XEN_GUEST_HANDLE(char) vki_xen_tmem_cli_va_t;
21 #define VKI_XEN_GUEST_HANDLE_64(name) VKI_XEN_GUEST_HANDLE(name)25 #define VKI_XEN_GUEST_HANDLE(name) __VKI_XEN_GUEST_HANDLE(name) macro