Searched refs:VMCS12_LAUNCH_STATE_LAUNCHED (Results 1 – 2 of 2) sorted by relevance
106 #define VMCS12_LAUNCH_STATE_LAUNCHED (1U) macro
1480 } else if (!is_launch && (vmcs12->launch_state != VMCS12_LAUNCH_STATE_LAUNCHED)) { in nested_vmentry()1508 vmcs12->launch_state = VMCS12_LAUNCH_STATE_LAUNCHED; in nested_vmentry()
Completed in 7 milliseconds