perf: Use a user_data blob for perf_event (XCC)
[akaros.git] / kern / arch / x86 / cpuinfo.c
index 1fed072..b857ee2 100644 (file)
@@ -82,6 +82,8 @@ void print_cpuinfo(void)
                panic("MSRs not supported!");
        if (!(edx & 0x00001000))
                panic("MTRRs not supported!");
+       if (!(edx & (1 << 16)))
+               panic("PAT not supported!");
        if (!(edx & 0x00002000))
                panic("Global Pages not supported!");
        if (!(edx & 0x00000200))