Searched refs:vki_xen_vcpu_guest_context_t (Results 1 – 2 of 2) sorted by relevance
150 typedef struct vki_xen_vcpu_guest_context vki_xen_vcpu_guest_context_t; typedef151 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_vcpu_guest_context_t);
260 VKI_XEN_GUEST_HANDLE_64(vki_xen_vcpu_guest_context_t) ctxt; /* IN/OUT */