VCPU_RUNNING
return READ_ONCE(prev->state) != VCPU_RUNNING;
pn->state = VCPU_RUNNING;
cmpxchg(&pn->state, VCPU_HALTED, VCPU_RUNNING);
WRITE_ONCE(pn->state, VCPU_RUNNING);