HomeSort by relevance Sort by last modified time
    Searched refs:DEFINE_VKI_XEN_GUEST_HANDLE (Results 1 - 4 of 4) sorted by null

  /external/valgrind/include/vki/
vki-xen-evtchn.h 44 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_evtchn_port_t);
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-domctl.h 148 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000007_t);
167 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000008_t);
187 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000009_t);
198 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_nodeaffinity_t);
352 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_guest_tsc_info_t);
359 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_hvmcontext_t);
367 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_hvmcontext_partial_t);
463 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_vcpu_msr_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 67 milliseconds