Searched refs:GUEST_ACTIVITY_WAIT_SIPI (Results 1 – 2 of 2) sorted by relevance
382 #define GUEST_ACTIVITY_WAIT_SIPI 3 macro
2984 vmcs12->guest_activity_state != GUEST_ACTIVITY_WAIT_SIPI)) in nested_check_guest_non_reg_state()3640 case GUEST_ACTIVITY_WAIT_SIPI: in nested_vmx_run()4174 vmcs12->guest_activity_state = GUEST_ACTIVITY_WAIT_SIPI; in sync_vmcs02_to_vmcs12()