GUEST_ACTIVITY_STATE
EVMCS1_FIELD(GUEST_ACTIVITY_STATE, guest_activity_state,
FIELD(GUEST_ACTIVITY_STATE, guest_activity_state),
vmcs_read32(GUEST_ACTIVITY_STATE) == GUEST_ACTIVITY_HLT)
vmcs_write32(GUEST_ACTIVITY_STATE, GUEST_ACTIVITY_ACTIVE);
vmcs_write32(GUEST_ACTIVITY_STATE, GUEST_ACTIVITY_ACTIVE);
vmcs_read32(GUEST_ACTIVITY_STATE));
case GUEST_ACTIVITY_STATE:
case GUEST_ACTIVITY_STATE:
vmwrite(GUEST_ACTIVITY_STATE, 0);