Print this page
XXXX pat_sync is clever enough to check for X86FSET_PAT

@@ -1669,11 +1669,10 @@
 
 #ifndef __xpv
         /*
          * Program this cpu's PAT
          */
-        if (is_x86_feature(x86_featureset, X86FSET_PAT))
                 pat_sync();
 #endif
 
         /*
          * Set up TSC_AUX to contain the cpuid for this processor