Searched refs:SECONDARY_EXEC_ENABLE_VPID (Results 1 – 8 of 8) sorted by relevance
174 SECONDARY_EXEC_ENABLE_VPID; in cpu_has_vmx_vpid()
84 SECONDARY_EXEC_ENABLE_VPID | \
186 return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_VPID); in nested_cpu_has_vpid()
567 SECONDARY_EXEC_ENABLE_VPID | \
2647 if (!(_cpu_based_2nd_exec_control & SECONDARY_EXEC_ENABLE_VPID) && in setup_vmcs_config()4581 exec_control &= ~SECONDARY_EXEC_ENABLE_VPID; in vmx_secondary_exec_control()6390 if (secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID) in dump_vmcs()
5753 SECONDARY_EXEC_ENABLE_VPID) || in handle_invvpid()6933 SECONDARY_EXEC_ENABLE_VPID; in nested_vmx_setup_ctls_msrs()
52 #define SECONDARY_EXEC_ENABLE_VPID 0x00000020 macro
58 #define SECONDARY_EXEC_ENABLE_VPID VMCS_CONTROL_BIT(VPID) macro
Completed in 79 milliseconds