Searched defs:VKI_XEN_GUEST_HANDLE_64 (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-xen-x86.h39 #define VKI_XEN_GUEST_HANDLE_64(name) __VKI_XEN_GUEST_HANDLE_64(name) macro
48 #define VKI_XEN_GUEST_HANDLE_64(name) VKI_XEN_GUEST_HANDLE(name) macro

Completed in 76 milliseconds