Lines Matching refs:vcpu
285 ulong_t prev_vcpuid; /* previous vcpu executed */
288 ulong_t next_vcpuid; /* next vcpu to be scheduled */
309 uint64_t stat_spurious_switch; /* inconsistent vcpu switches */
676 xdt_update_sched_context(uint_t cpuid, uint_t dom, uint_t vcpu)
681 sp->cur_vcpuid = vcpu;
686 xdt_update_domain_context(uint_t dom, uint_t vcpu)
689 xdt_curvcpu = vcpu;
696 uint_t dom, vcpu;
847 * data[1] = initiating vcpu
880 * Add vcpu to a guest.
883 * data[1] = vcpu
900 * data[0] = (domain << 16) | vcpu;
912 * data[0] = (domain << 16) | vcpu;
1720 vcpu = data[1] >> 16;
1722 xdt_update_sched_context(cpuid, dom, vcpu);
1723 xdt_update_domain_context(dom, vcpu);