Searched refs:vcpu_guest_context_t (Results 1 – 3 of 3) sorted by relevance
231 typedef struct vcpu_guest_context vcpu_guest_context_t; typedef232 DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
303 typedef struct vcpu_guest_context vcpu_guest_context_t; typedef304 DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
291 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */