Searched defs:vcpu (Results 1 – 4 of 4) sorted by relevance
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()
233 vcpu_info_t *vcpu = &HYPERVISOR_shared_info->vcpu_info[0]; in events_isr() local
163 uint32_t vcpu; /* VCPU to which this channel is bound. */ member
193 uint32_t vcpu; /* IN */ member