9ns: mnt: Don't use a 'bogus' struct
[akaros.git] / kern / arch / x86 / cpuinfo.c
index c97d175..0e16f75 100644 (file)
 #include <string.h>
 #include <cpu_feat.h>
 
+int x86_family, x86_model, x86_stepping;
+
 /* Check Intel's SDM 2a for Table 3-17 for the cpuid leaves */
 void print_cpuinfo(void)
 {
        uint32_t eax, ebx, ecx, edx;
-       uint32_t model, family;
+       uint32_t model, family, ext_model, ext_family;
        uint64_t msr_val;
        char vendor_id[13];
        int max_std_lvl, max_extd_lvl;
@@ -61,11 +63,20 @@ void print_cpuinfo(void)
        cprintf("Largest Extended Function Number Supported: 0x%08x\n", eax);
        max_extd_lvl = eax;
        cpuid(1, 0x0, &eax, &ebx, &ecx, &edx);
-       family = ((eax & 0x0FF00000) >> 20) + ((eax & 0x00000F00) >> 8);
-       model = ((eax & 0x000F0000) >> 16) + ((eax & 0x000000F0) >> 4);
-       cprintf("Family: %d\n", family);
-       cprintf("Model: %d\n", model);
-       cprintf("Stepping: %d\n", eax & 0x0000000F);
+       ext_family = (eax >> 20) & 0xff;
+       ext_model = (eax >> 16) & 0xf;
+       family = (eax >> 8) & 0xf;
+       model = (eax >> 4) & 0xf;
+       if ((family == 15) || (family == 6))
+               model += ext_model << 4;
+       if (family == 15)
+               family += ext_family;
+       x86_family = family;
+       x86_model = model;
+       x86_stepping = eax & 0xf;
+       printk("Family: %d\n", x86_family);
+       printk("Model: %d\n", x86_model);
+       printk("Stepping: %d\n", x86_stepping);
        // eventually can fill this out with SDM Vol3B App B info, or
        // better yet with stepping info.  or cpuid 8000_000{2,3,4}
        switch ( family << 8 | model ) {
@@ -159,9 +170,8 @@ void print_cpuinfo(void)
        /* Regardless, make sure userspace can access rdtsc (and rdtscp) */
        lcr4(rcr4() & ~CR4_TSD);
        printk("1 GB Jumbo pages %ssupported\n", edx & (1 << 26) ? "" : "not ");
-       printk("FS/GS MSRs %ssupported\n", edx & (1 << 29) ? "" : "not ");
        if (!(edx & (1 << 29))) {
-               printk("Can't handle no FS/GS MSRs!\n");
+               printk("Not 64 bit, refusing to boot!\n");
                while (1)
                        asm volatile ("hlt");
        }