Searched refs:SECONDARY_EXEC_ENABLE_VPID (Results 1 – 2 of 2) sorted by relevance
65 #define SECONDARY_EXEC_ENABLE_VPID 0x00000020 macro
1165 SECONDARY_EXEC_ENABLE_VPID; in cpu_has_vmx_vpid()1260 return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_VPID); in nested_cpu_has_vpid()2673 SECONDARY_EXEC_ENABLE_VPID | in nested_vmx_setup_ctls_msrs()3293 SECONDARY_EXEC_ENABLE_VPID | in setup_vmcs_config()4956 exec_control &= ~SECONDARY_EXEC_ENABLE_VPID; in vmx_secondary_exec_control()7500 SECONDARY_EXEC_ENABLE_VPID) || in handle_invvpid()8174 if (secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID) in dump_vmcs()