VU_RUN
vcpu_ustate_change(vm, vcpu, VU_RUN);
vvk->vvk_time_run.value.ui64 = vcpu->ustate_total[VU_RUN];