Searched refs:SECONDARY_EXEC_ENABLE_VPID (Results 1 – 2 of 2) sorted by relevance
64 #define SECONDARY_EXEC_ENABLE_VPID 0x00000020 macro
1073 SECONDARY_EXEC_ENABLE_VPID; in cpu_has_vmx_vpid()3033 SECONDARY_EXEC_ENABLE_VPID | in setup_vmcs_config()4575 exec_control &= ~SECONDARY_EXEC_ENABLE_VPID; in vmx_secondary_exec_control()