Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

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

/external/valgrind/include/vki/
vki-xen.h	76 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name) 87 DEFINE_VKI_XEN_GUEST_HANDLE(void); 88 DEFINE_VKI_XEN_GUEST_HANDLE(char); 89 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t);
vki-xen-x86.h	47 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name) 151 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_vcpu_guest_context_t);

Completed in 2228 milliseconds