Searched refs:vcpu_guest_context_t (Results 1 – 4 of 4) sorted by relevance
19 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);20 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
302 typedef struct vcpu_guest_context vcpu_guest_context_t; typedef303 DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
195 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
64 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_getvcpucontext()77 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_setvcpucontext()