Symbol: VU_SCHED
usr/src/uts/intel/io/vmm/vmm.c
2361
vcpu_ustate_change(vm, vcpuid, VU_SCHED);
usr/src/uts/intel/io/vmm/vmm.c
3977
vvk->vvk_time_sched.value.ui64 = vcpu->ustate_total[VU_SCHED];