Looking for people that can run a kernel with the patch below and mail me the resulting dmesg.
Thanks, Mark Index: arch/amd64/amd64/identcpu.c =================================================================== RCS file: /cvs/src/sys/arch/amd64/amd64/identcpu.c,v retrieving revision 1.96 diff -u -p -r1.96 identcpu.c --- arch/amd64/amd64/identcpu.c 7 Jun 2018 04:07:28 -0000 1.96 +++ arch/amd64/amd64/identcpu.c 19 Jun 2018 20:27:24 -0000 @@ -803,6 +803,11 @@ cpu_topology(struct cpu_info *ci) /* Pkg id is the upper remaining bits */ ci->ci_pkg_id = apicid & ~core_mask; ci->ci_pkg_id >>= core_bits; + if (ci->ci_pnfeatset >= 0x8000001e) { + CPUID(0x8000001e, eax, ebx, ecx, edx); + printf("cpu%d: eax 0x%08x ebx 0x%08x ecx 0x%08x\n", + ci->ci_cpuid, eax, ebx, ecx); + } } else if (strcmp(cpu_vendor, "GenuineIntel") == 0) { /* We only support leaf 1/4 detection */ if (cpuid_level < 4)