Searched refs:GUEST_ACTIVITY_WAIT_SIPI (Results 1 – 2 of 2) sorted by relevance
420 #define GUEST_ACTIVITY_WAIT_SIPI 3 macro
3130 vmcs12->guest_activity_state != GUEST_ACTIVITY_WAIT_SIPI)) in nested_check_guest_non_reg_state()3772 case GUEST_ACTIVITY_WAIT_SIPI: in nested_vmx_run()4564 vmcs12->guest_activity_state = GUEST_ACTIVITY_WAIT_SIPI; in sync_vmcs02_to_vmcs12()