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