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