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 152 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000007_t);
171 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000008_t);
191 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000009_t);
202 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_nodeaffinity_t);
356 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_guest_tsc_info_t);
379 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_hvmcontext_t);
387 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_hvmcontext_partial_t);
501 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 110 milliseconds