VU_SCHED
vcpu_ustate_change(vm, vcpuid, VU_SCHED);
vvk->vvk_time_sched.value.ui64 = vcpu->ustate_total[VU_SCHED];