Searched refs:SECONDARY_EXEC_ENABLE_INVPCID (Results 1 – 2 of 2) sorted by relevance
70 #define SECONDARY_EXEC_ENABLE_INVPCID 0x00001000 macro
1085 SECONDARY_EXEC_ENABLE_INVPCID; in cpu_has_vmx_invpcid()3038 SECONDARY_EXEC_ENABLE_INVPCID | in setup_vmcs_config()4580 exec_control &= ~SECONDARY_EXEC_ENABLE_INVPCID; in vmx_secondary_exec_control()8571 exec_control |= SECONDARY_EXEC_ENABLE_INVPCID; in vmx_cpuid_update()8577 exec_control &= ~SECONDARY_EXEC_ENABLE_INVPCID; in vmx_cpuid_update()