diff options
Diffstat (limited to 'src/cpu/intel/common/common_init.c')
-rw-r--r-- | src/cpu/intel/common/common_init.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cpu/intel/common/common_init.c b/src/cpu/intel/common/common_init.c index a568ea14e5..a2ff65cecc 100644 --- a/src/cpu/intel/common/common_init.c +++ b/src/cpu/intel/common/common_init.c @@ -31,7 +31,7 @@ void set_feature_ctrl_vmx(void) { msr_t msr; uint32_t feature_flag; - int enable = IS_ENABLED(CONFIG_ENABLE_VMX); + int enable = CONFIG(ENABLE_VMX); feature_flag = cpu_get_feature_flags_ecx(); /* Check that the VMX is supported before reading or writing the MSR. */ @@ -71,7 +71,7 @@ void set_feature_ctrl_vmx(void) void set_feature_ctrl_lock(void) { msr_t msr; - int lock = IS_ENABLED(CONFIG_SET_IA32_FC_LOCK_BIT); + int lock = CONFIG(SET_IA32_FC_LOCK_BIT); uint32_t feature_flag = cpu_get_feature_flags_ecx(); /* Check if VMX is supported before reading or writing the MSR */ |