Searched refs:__VKI_XEN_GUEST_HANDLE (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/main/include/vki/ | ||
| H A D | vki-xen-x86.h | 24 #define __VKI_XEN_GUEST_HANDLE(name) __vki_xen_guest_handle_ ## name macro 25 #define VKI_XEN_GUEST_HANDLE(name) __VKI_XEN_GUEST_HANDLE(name) |
Completed in 64 milliseconds