/*
         * BIOS should indicate support for LMCE by setting bit 20 in
         * IA32_FEAT_CTL without which touching MCG_EXT_CTL will generate a #GP
-        * fault.
+        * fault.  The MSR must also be locked for LMCE_ENABLED to take effect.
+        * WARN if the MSR isn't locked as init_ia32_feat_ctl() unconditionally
+        * locks the MSR in the event that it wasn't already locked by BIOS.
         */
        rdmsrl(MSR_IA32_FEAT_CTL, tmp);
-       if ((tmp & (FEAT_CTL_LOCKED | FEAT_CTL_LMCE_ENABLED)) ==
-                  (FEAT_CTL_LOCKED | FEAT_CTL_LMCE_ENABLED))
-               return true;
+       if (WARN_ON_ONCE(!(tmp & FEAT_CTL_LOCKED)))
+               return false;
 
-       return false;
+       return tmp & FEAT_CTL_LMCE_ENABLED;
 }
 
 bool mce_intel_cmci_poll(void)