vcpu_run_state
vm_get_run_state(struct vcpu *vcpu, enum vcpu_run_state *state,
vm_set_run_state(struct vcpu *vcpu, enum vcpu_run_state state,
int vm_get_run_state(struct vcpu *vcpu, enum vcpu_run_state *state,
int vm_set_run_state(struct vcpu *vcpu, enum vcpu_run_state state,
enum vcpu_run_state run_state; /* (i) vcpu init/sipi/run state */