Searched refs:SECONDARY_EXEC_WBINVD_EXITING (Results 1 – 3 of 3) sorted by relevance
190 SECONDARY_EXEC_WBINVD_EXITING; in cpu_has_vmx_wbinvd_exit()
6635 return nested_cpu_has2(vmcs12, SECONDARY_EXEC_WBINVD_EXITING); in nested_vmx_l1_wants_exit()7215 SECONDARY_EXEC_WBINVD_EXITING | in nested_vmx_setup_secondary_ctls()
51 #define SECONDARY_EXEC_WBINVD_EXITING 0x00000040 macro