vcpu_ustate
void vcpu_ustate_change(struct vm *, int, enum vcpu_ustate);
enum vcpu_ustate vtc_ustate;
enum vcpu_ustate ustate; /* (i) microstate for the vcpu */
vcpu_ustate_change(struct vm *vm, int vcpuid, enum vcpu_ustate ustate)