GUEST_ACTIVITY_WAIT_SIPI
vmcs12->guest_activity_state != GUEST_ACTIVITY_WAIT_SIPI))
case GUEST_ACTIVITY_WAIT_SIPI:
vmcs12->guest_activity_state = GUEST_ACTIVITY_WAIT_SIPI;