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