Searched defs:vcpu (Results 1 – 7 of 7) sorted by relevance
92 uint32_t vcpu; member123 uint32_t vcpu; member173 uint32_t vcpu; /* VCPU to which this channel is bound. */ member204 uint32_t vcpu; member
252 uint32_t vcpu; /* IN */ member262 uint32_t vcpu; member278 uint32_t vcpu; /* IN */ member436 uint32_t vcpu; /* IN */ member547 uint32_t vcpu; member630 uint32_t vcpu; /* IN */ member
61 struct vcpu *vcpu[MAX_VIRT_CPUS]; member
676 xdt_update_sched_context(uint_t cpuid, uint_t dom, uint_t vcpu) in xdt_update_sched_context()686 xdt_update_domain_context(uint_t dom, uint_t vcpu) in xdt_update_domain_context()696 uint_t dom, vcpu; in xdt_process_rec() local
94 } vcpu; member
663 vcpu_info_t *vcpu = &si->vcpu_info[i]; in xen_debug_handler() local
1506 struct vcpu_guest_context *vcpu; in xkb_getmregs() local