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

/external/valgrind/main/include/vki/
H A Dvki-xen.h49 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name) macro
60 DEFINE_VKI_XEN_GUEST_HANDLE(void);
61 DEFINE_VKI_XEN_GUEST_HANDLE(char);
62 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t);
H A Dvki-xen-x86.h20 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name) macro
124 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_vcpu_guest_context_t);

Completed in 4633 milliseconds