Searched refs:SECONDARY_EXEC_ENABLE_VPID (Results 1 – 2 of 2) sorted by relevance
59 #define SECONDARY_EXEC_ENABLE_VPID 0x00000020 macro
404 SECONDARY_EXEC_ENABLE_VPID; in cpu_has_vmx_vpid()1500 SECONDARY_EXEC_ENABLE_VPID | in setup_vmcs_config()2649 exec_control &= ~SECONDARY_EXEC_ENABLE_VPID; in vmx_vcpu_setup()