Searched refs:xen_domctl_setvcpucontext (Results 1 – 2 of 2) sorted by relevance
20 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
77 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt) in xen_domctl_setvcpucontext() function
