HomeSort by relevance Sort by last modified time
    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 51 milliseconds