Searched refs:VKI_XEN_GUEST_HANDLE (Results 1 - 6 of 6) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-xen-memory.h56 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 */
H A Dvki-xen-gnttab.h52 VKI_XEN_GUEST_HANDLE(vki_ulong) frame_list;
H A Dvki-xen-mmuext.h65 VKI_XEN_GUEST_HANDLE(const_void) vcpumask;
H A Dvki-xen-xsm.h40 VKI_XEN_GUEST_HANDLE(char) context;
H A Dvki-xen-tmem.h31 typedef VKI_XEN_GUEST_HANDLE(char) vki_xen_tmem_cli_va_t;
H A Dvki-xen-x86.h48 #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

Completed in 142 milliseconds