EXITING_GUEST_MODE
return READ_ONCE(vcpu->mode) == EXITING_GUEST_MODE ||
return cmpxchg(&vcpu->mode, IN_GUEST_MODE, EXITING_GUEST_MODE);
WRITE_ONCE(vcpu->mode, EXITING_GUEST_MODE);