vcpu_ustate_change
vcpu_ustate_change(vm, vcpu, VU_RUN);
vcpu_ustate_change(vm, vcpu, VU_EMU_KERN);
vcpu_ustate_change(vm, vcpu, VU_RUN);
vcpu_ustate_change(vm, vcpu, VU_EMU_KERN);
void vcpu_ustate_change(struct vm *, int, enum vcpu_ustate);
vcpu_ustate_change(vm, vcpuid, VU_IDLE);
vcpu_ustate_change(vm, vcpuid, VU_EMU_KERN);
vcpu_ustate_change(vm, vcpuid, VU_IDLE);
vcpu_ustate_change(vm, vcpuid, VU_EMU_KERN);
vcpu_ustate_change(vm, i, VU_INIT);
vcpu_ustate_change(vm, vcpuid, VU_SCHED);
vcpu_ustate_change(vm, vcpuid, vtc->vtc_ustate);
vcpu_ustate_change(vm, vcpuid, VU_EMU_KERN);
vcpu_ustate_change(vm, vcpuid,
vcpu_ustate_change(vm, vcpu_id, VU_INIT);