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