Searched refs:DEFINE_VKI_XEN_GUEST_HANDLE (Results 1 – 4 of 4) sorted by relevance
76 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name) macro87 DEFINE_VKI_XEN_GUEST_HANDLE(void);88 DEFINE_VKI_XEN_GUEST_HANDLE(char);89 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t);
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);
44 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_evtchn_port_t);
47 #define DEFINE_VKI_XEN_GUEST_HANDLE(name) __DEFINE_VKI_XEN_GUEST_HANDLE(name, name) macro151 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_vcpu_guest_context_t);