2 * Copyright (c) 1992 Terrence R. Lambert.
3 * Copyright (c) 1982, 1987, 1990 The Regents of the University of California.
4 * Copyright (c) 1997 KATO Takenori.
7 * This code is derived from software contributed to Berkeley by
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
13 * 1. Redistributions of source code must retain the above copyright
14 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in the
17 * documentation and/or other materials provided with the distribution.
18 * 3. All advertising materials mentioning features or use of this software
19 * must display the following acknowledgement:
20 * This product includes software developed by the University of
21 * California, Berkeley and its contributors.
22 * 4. Neither the name of the University nor the names of its contributors
23 * may be used to endorse or promote products derived from this software
24 * without specific prior written permission.
26 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
27 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
30 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
38 * from: Id: machdep.c,v 1.193 1996/06/18 01:22:04 bde Exp
41 #include <sys/cdefs.h>
42 __FBSDID("$FreeBSD$");
46 #include <sys/param.h>
49 #include <sys/eventhandler.h>
50 #include <sys/limits.h>
51 #include <sys/systm.h>
52 #include <sys/kernel.h>
53 #include <sys/sysctl.h>
54 #include <sys/power.h>
59 #include <machine/asmacros.h>
60 #include <machine/clock.h>
61 #include <machine/cputypes.h>
62 #include <machine/frame.h>
63 #include <machine/intr_machdep.h>
64 #include <machine/md_var.h>
65 #include <machine/segments.h>
66 #include <machine/specialreg.h>
68 #include <amd64/vmm/intel/vmx_controls.h>
69 #include <x86/isa/icu.h>
70 #include <x86/vmware.h>
73 #define IDENTBLUE_CYRIX486 0
74 #define IDENTBLUE_IBMCPU 1
75 #define IDENTBLUE_CYRIXM2 2
77 static void identifycyrix(void);
78 static void print_transmeta_info(void);
80 static u_int find_cpu_vendor_id(void);
81 static void print_AMD_info(void);
82 static void print_INTEL_info(void);
83 static void print_INTEL_TLB(u_int data);
84 static void print_hypervisor_info(void);
85 static void print_svm_info(void);
86 static void print_via_padlock_info(void);
87 static void print_vmx_info(void);
90 int cpu; /* Are we 386, 386sx, 486, etc? */
93 u_int cpu_feature; /* Feature flags */
94 u_int cpu_feature2; /* Feature flags */
95 u_int amd_feature; /* AMD feature flags */
96 u_int amd_feature2; /* AMD feature flags */
97 u_int amd_rascap; /* AMD RAS capabilities */
98 u_int amd_pminfo; /* AMD advanced power management info */
99 u_int amd_extended_feature_extensions;
100 u_int via_feature_rng; /* VIA RNG features */
101 u_int via_feature_xcrypt; /* VIA ACE features */
102 u_int cpu_high; /* Highest arg to CPUID */
103 u_int cpu_exthigh; /* Highest arg to extended CPUID */
104 u_int cpu_id; /* Stepping ID */
105 u_int cpu_procinfo; /* HyperThreading Info / Brand Index / CLFUSH */
106 u_int cpu_procinfo2; /* Multicore info */
107 char cpu_vendor[20]; /* CPU Origin code */
108 u_int cpu_vendor_id; /* CPU vendor ID */
109 u_int cpu_fxsr; /* SSE enabled */
110 u_int cpu_mxcsr_mask; /* Valid bits in mxcsr */
111 u_int cpu_clflush_line_size = 32;
112 u_int cpu_stdext_feature; /* %ebx */
113 u_int cpu_stdext_feature2; /* %ecx */
114 u_int cpu_stdext_feature3; /* %edx */
115 uint64_t cpu_ia32_arch_caps;
116 u_int cpu_max_ext_state_size;
117 u_int cpu_mon_mwait_flags; /* MONITOR/MWAIT flags (CPUID.05H.ECX) */
118 u_int cpu_mon_min_size; /* MONITOR minimum range size, bytes */
119 u_int cpu_mon_max_size; /* MONITOR minimum range size, bytes */
120 u_int cpu_maxphyaddr; /* Max phys addr width in bits */
121 u_int cpu_power_eax; /* 06H: Power management leaf, %eax */
122 u_int cpu_power_ebx; /* 06H: Power management leaf, %eax */
123 u_int cpu_power_ecx; /* 06H: Power management leaf, %eax */
124 u_int cpu_power_edx; /* 06H: Power management leaf, %eax */
125 char machine[] = MACHINE;
127 SYSCTL_UINT(_hw, OID_AUTO, via_feature_rng, CTLFLAG_RD,
129 "VIA RNG feature available in CPU");
130 SYSCTL_UINT(_hw, OID_AUTO, via_feature_xcrypt, CTLFLAG_RD,
131 &via_feature_xcrypt, 0,
132 "VIA xcrypt feature available in CPU");
136 extern int adaptive_machine_arch;
140 sysctl_hw_machine(SYSCTL_HANDLER_ARGS)
143 static const char machine32[] = "i386";
148 if ((req->flags & SCTL_MASK32) != 0 && adaptive_machine_arch)
149 error = SYSCTL_OUT(req, machine32, sizeof(machine32));
152 error = SYSCTL_OUT(req, machine, sizeof(machine));
156 SYSCTL_PROC(_hw, HW_MACHINE, machine, CTLTYPE_STRING | CTLFLAG_RD |
157 CTLFLAG_MPSAFE, NULL, 0, sysctl_hw_machine, "A", "Machine class");
159 SYSCTL_STRING(_hw, HW_MACHINE, machine, CTLFLAG_RD,
160 machine, 0, "Machine class");
163 static char cpu_model[128];
164 SYSCTL_STRING(_hw, HW_MODEL, model, CTLFLAG_RD | CTLFLAG_MPSAFE,
165 cpu_model, 0, "Machine model");
167 static int hw_clockrate;
168 SYSCTL_INT(_hw, OID_AUTO, clockrate, CTLFLAG_RD,
169 &hw_clockrate, 0, "CPU instruction clock rate");
174 SYSCTL_STRING(_hw, OID_AUTO, hv_vendor, CTLFLAG_RD | CTLFLAG_MPSAFE, hv_vendor,
175 0, "Hypervisor vendor");
177 static eventhandler_tag tsc_post_tag;
179 static char cpu_brand[48];
182 #define MAX_BRAND_INDEX 8
184 static const char *cpu_brandtable[MAX_BRAND_INDEX + 1] = {
188 "Intel Pentium III Xeon",
200 { "Intel 80286", CPUCLASS_286 }, /* CPU_286 */
201 { "i386SX", CPUCLASS_386 }, /* CPU_386SX */
202 { "i386DX", CPUCLASS_386 }, /* CPU_386 */
203 { "i486SX", CPUCLASS_486 }, /* CPU_486SX */
204 { "i486DX", CPUCLASS_486 }, /* CPU_486 */
205 { "Pentium", CPUCLASS_586 }, /* CPU_586 */
206 { "Cyrix 486", CPUCLASS_486 }, /* CPU_486DLC */
207 { "Pentium Pro", CPUCLASS_686 }, /* CPU_686 */
208 { "Cyrix 5x86", CPUCLASS_486 }, /* CPU_M1SC */
209 { "Cyrix 6x86", CPUCLASS_486 }, /* CPU_M1 */
210 { "Blue Lightning", CPUCLASS_486 }, /* CPU_BLUE */
211 { "Cyrix 6x86MX", CPUCLASS_686 }, /* CPU_M2 */
212 { "NexGen 586", CPUCLASS_386 }, /* CPU_NX586 (XXX) */
213 { "Cyrix 486S/DX", CPUCLASS_486 }, /* CPU_CY486DX */
214 { "Pentium II", CPUCLASS_686 }, /* CPU_PII */
215 { "Pentium III", CPUCLASS_686 }, /* CPU_PIII */
216 { "Pentium 4", CPUCLASS_686 }, /* CPU_P4 */
224 { INTEL_VENDOR_ID, CPU_VENDOR_INTEL }, /* GenuineIntel */
225 { AMD_VENDOR_ID, CPU_VENDOR_AMD }, /* AuthenticAMD */
226 { CENTAUR_VENDOR_ID, CPU_VENDOR_CENTAUR }, /* CentaurHauls */
228 { NSC_VENDOR_ID, CPU_VENDOR_NSC }, /* Geode by NSC */
229 { CYRIX_VENDOR_ID, CPU_VENDOR_CYRIX }, /* CyrixInstead */
230 { TRANSMETA_VENDOR_ID, CPU_VENDOR_TRANSMETA }, /* GenuineTMx86 */
231 { SIS_VENDOR_ID, CPU_VENDOR_SIS }, /* SiS SiS SiS */
232 { UMC_VENDOR_ID, CPU_VENDOR_UMC }, /* UMC UMC UMC */
233 { NEXGEN_VENDOR_ID, CPU_VENDOR_NEXGEN }, /* NexGenDriven */
234 { RISE_VENDOR_ID, CPU_VENDOR_RISE }, /* RiseRiseRise */
236 /* XXX CPUID 8000_0000h and 8086_0000h, not 0000_0000h */
237 { "TransmetaCPU", CPU_VENDOR_TRANSMETA },
250 cpu_class = cpus[cpu].cpu_class;
251 strncpy(cpu_model, cpus[cpu].cpu_name, sizeof (cpu_model));
253 strncpy(cpu_model, "Hammer", sizeof (cpu_model));
256 /* Check for extended CPUID information and a processor name. */
257 if (cpu_exthigh >= 0x80000004) {
259 for (i = 0x80000002; i < 0x80000005; i++) {
261 memcpy(brand, regs, sizeof(regs));
262 brand += sizeof(regs);
266 switch (cpu_vendor_id) {
267 case CPU_VENDOR_INTEL:
269 if ((cpu_id & 0xf00) > 0x300) {
274 switch (cpu_id & 0x3000) {
276 strcpy(cpu_model, "Overdrive ");
279 strcpy(cpu_model, "Dual ");
283 switch (cpu_id & 0xf00) {
285 strcat(cpu_model, "i486 ");
286 /* Check the particular flavor of 486 */
287 switch (cpu_id & 0xf0) {
290 strcat(cpu_model, "DX");
293 strcat(cpu_model, "SX");
296 strcat(cpu_model, "DX2");
299 strcat(cpu_model, "SL");
302 strcat(cpu_model, "SX2");
306 "DX2 Write-Back Enhanced");
309 strcat(cpu_model, "DX4");
314 /* Check the particular flavor of 586 */
315 strcat(cpu_model, "Pentium");
316 switch (cpu_id & 0xf0) {
318 strcat(cpu_model, " A-step");
321 strcat(cpu_model, "/P5");
324 strcat(cpu_model, "/P54C");
327 strcat(cpu_model, "/P24T");
330 strcat(cpu_model, "/P55C");
333 strcat(cpu_model, "/P54C");
336 strcat(cpu_model, "/P55C (quarter-micron)");
342 #if defined(I586_CPU) && !defined(NO_F00F_HACK)
344 * XXX - If/when Intel fixes the bug, this
345 * should also check the version of the
346 * CPU, not just that it's a Pentium.
352 /* Check the particular flavor of 686 */
353 switch (cpu_id & 0xf0) {
355 strcat(cpu_model, "Pentium Pro A-step");
358 strcat(cpu_model, "Pentium Pro");
364 "Pentium II/Pentium II Xeon/Celeron");
372 "Pentium III/Pentium III Xeon/Celeron");
376 strcat(cpu_model, "Unknown 80686");
381 strcat(cpu_model, "Pentium 4");
385 strcat(cpu_model, "unknown");
390 * If we didn't get a brand name from the extended
391 * CPUID, try to look it up in the brand table.
393 if (cpu_high > 0 && *cpu_brand == '\0') {
394 brand_index = cpu_procinfo & CPUID_BRAND_INDEX;
395 if (brand_index <= MAX_BRAND_INDEX &&
396 cpu_brandtable[brand_index] != NULL)
398 cpu_brandtable[brand_index]);
402 /* Please make up your mind folks! */
403 strcat(cpu_model, "EM64T");
408 * Values taken from AMD Processor Recognition
409 * http://www.amd.com/K6/k6docs/pdf/20734g.pdf
410 * (also describes ``Features'' encodings.
412 strcpy(cpu_model, "AMD ");
414 switch (cpu_id & 0xFF0) {
416 strcat(cpu_model, "Standard Am486DX");
419 strcat(cpu_model, "Enhanced Am486DX2 Write-Through");
422 strcat(cpu_model, "Enhanced Am486DX2 Write-Back");
425 strcat(cpu_model, "Enhanced Am486DX4/Am5x86 Write-Through");
428 strcat(cpu_model, "Enhanced Am486DX4/Am5x86 Write-Back");
431 strcat(cpu_model, "Am5x86 Write-Through");
434 strcat(cpu_model, "Am5x86 Write-Back");
437 strcat(cpu_model, "K5 model 0");
440 strcat(cpu_model, "K5 model 1");
443 strcat(cpu_model, "K5 PR166 (model 2)");
446 strcat(cpu_model, "K5 PR200 (model 3)");
449 strcat(cpu_model, "K6");
452 strcat(cpu_model, "K6 266 (model 1)");
455 strcat(cpu_model, "K6-2");
458 strcat(cpu_model, "K6-III");
461 strcat(cpu_model, "Geode LX");
464 strcat(cpu_model, "Unknown");
468 if ((cpu_id & 0xf00) == 0xf00)
469 strcat(cpu_model, "AMD64 Processor");
471 strcat(cpu_model, "Unknown");
475 case CPU_VENDOR_CYRIX:
476 strcpy(cpu_model, "Cyrix ");
477 switch (cpu_id & 0xff0) {
479 strcat(cpu_model, "MediaGX");
482 strcat(cpu_model, "6x86");
485 cpu_class = CPUCLASS_586;
486 strcat(cpu_model, "GXm");
489 strcat(cpu_model, "6x86MX");
493 * Even though CPU supports the cpuid
494 * instruction, it can be disabled.
495 * Therefore, this routine supports all Cyrix
498 switch (cyrix_did & 0xf0) {
500 switch (cyrix_did & 0x0f) {
502 strcat(cpu_model, "486SLC");
505 strcat(cpu_model, "486DLC");
508 strcat(cpu_model, "486SLC2");
511 strcat(cpu_model, "486DLC2");
514 strcat(cpu_model, "486SRx");
517 strcat(cpu_model, "486DRx");
520 strcat(cpu_model, "486SRx2");
523 strcat(cpu_model, "486DRx2");
526 strcat(cpu_model, "486SRu");
529 strcat(cpu_model, "486DRu");
532 strcat(cpu_model, "486SRu2");
535 strcat(cpu_model, "486DRu2");
538 strcat(cpu_model, "Unknown");
543 switch (cyrix_did & 0x0f) {
545 strcat(cpu_model, "486S");
548 strcat(cpu_model, "486S2");
551 strcat(cpu_model, "486Se");
554 strcat(cpu_model, "486S2e");
557 strcat(cpu_model, "486DX");
560 strcat(cpu_model, "486DX2");
563 strcat(cpu_model, "486DX4");
566 strcat(cpu_model, "Unknown");
571 if ((cyrix_did & 0x0f) < 8)
572 strcat(cpu_model, "6x86"); /* Where did you get it? */
574 strcat(cpu_model, "5x86");
577 strcat(cpu_model, "6x86");
580 if ((cyrix_did & 0xf000) == 0x3000) {
581 cpu_class = CPUCLASS_586;
582 strcat(cpu_model, "GXm");
584 strcat(cpu_model, "MediaGX");
587 strcat(cpu_model, "6x86MX");
590 switch (cyrix_did & 0x0f) {
592 strcat(cpu_model, "Overdrive CPU");
595 strcpy(cpu_model, "Texas Instruments 486SXL");
598 strcat(cpu_model, "486SLC/DLC");
601 strcat(cpu_model, "Unknown");
606 strcat(cpu_model, "Unknown");
612 case CPU_VENDOR_RISE:
613 strcpy(cpu_model, "Rise ");
614 switch (cpu_id & 0xff0) {
615 case 0x500: /* 6401 and 6441 (Kirin) */
616 case 0x520: /* 6510 (Lynx) */
617 strcat(cpu_model, "mP6");
620 strcat(cpu_model, "Unknown");
624 case CPU_VENDOR_CENTAUR:
626 switch (cpu_id & 0xff0) {
628 strcpy(cpu_model, "IDT WinChip C6");
631 strcpy(cpu_model, "IDT WinChip 2");
634 strcpy(cpu_model, "IDT WinChip 3");
637 strcpy(cpu_model, "VIA C3 Samuel");
641 strcpy(cpu_model, "VIA C3 Ezra");
643 strcpy(cpu_model, "VIA C3 Samuel 2");
646 strcpy(cpu_model, "VIA C3 Ezra-T");
649 strcpy(cpu_model, "VIA C3 Nehemiah");
653 strcpy(cpu_model, "VIA C7 Esther");
656 strcpy(cpu_model, "VIA Nano");
659 strcpy(cpu_model, "VIA/IDT Unknown");
662 strcpy(cpu_model, "VIA ");
663 if ((cpu_id & 0xff0) == 0x6f0)
664 strcat(cpu_model, "Nano Processor");
666 strcat(cpu_model, "Unknown");
671 strcpy(cpu_model, "Blue Lightning CPU");
674 switch (cpu_id & 0xff0) {
676 strcpy(cpu_model, "Geode SC1100");
680 strcpy(cpu_model, "Geode/NSC unknown");
686 strcat(cpu_model, "Unknown");
691 * Replace cpu_model with cpu_brand minus leading spaces if
695 while (*brand == ' ')
698 strcpy(cpu_model, brand);
700 printf("%s (", cpu_model);
702 hw_clockrate = (tsc_freq + 5000) / 1000000;
703 printf("%jd.%02d-MHz ",
704 (intmax_t)(tsc_freq + 4999) / 1000000,
705 (u_int)((tsc_freq + 4999) / 10000) % 100);
715 #if defined(I486_CPU)
720 #if defined(I586_CPU)
725 #if defined(I686_CPU)
731 printf("Unknown"); /* will panic below... */
736 printf("-class CPU)\n");
738 printf(" Origin=\"%s\"", cpu_vendor);
740 printf(" Id=0x%x", cpu_id);
742 if (cpu_vendor_id == CPU_VENDOR_INTEL ||
743 cpu_vendor_id == CPU_VENDOR_AMD ||
744 cpu_vendor_id == CPU_VENDOR_CENTAUR ||
746 cpu_vendor_id == CPU_VENDOR_TRANSMETA ||
747 cpu_vendor_id == CPU_VENDOR_RISE ||
748 cpu_vendor_id == CPU_VENDOR_NSC ||
749 (cpu_vendor_id == CPU_VENDOR_CYRIX && ((cpu_id & 0xf00) > 0x500)) ||
752 printf(" Family=0x%x", CPUID_TO_FAMILY(cpu_id));
753 printf(" Model=0x%x", CPUID_TO_MODEL(cpu_id));
754 printf(" Stepping=%u", cpu_id & CPUID_STEPPING);
756 if (cpu_vendor_id == CPU_VENDOR_CYRIX)
757 printf("\n DIR=0x%04x", cyrix_did);
761 * AMD CPUID Specification
762 * http://support.amd.com/us/Embedded_TechDocs/25481.pdf
764 * Intel Processor Identification and CPUID Instruction
765 * http://www.intel.com/assets/pdf/appnote/241618.pdf
770 * Here we should probably set up flags indicating
771 * whether or not various features are available.
772 * The interesting ones are probably VME, PSE, PAE,
773 * and PGE. The code already assumes without bothering
774 * to check that all CPUs >= Pentium have a TSC and
777 printf("\n Features=0x%b", cpu_feature,
779 "\001FPU" /* Integral FPU */
780 "\002VME" /* Extended VM86 mode support */
781 "\003DE" /* Debugging Extensions (CR4.DE) */
782 "\004PSE" /* 4MByte page tables */
783 "\005TSC" /* Timestamp counter */
784 "\006MSR" /* Machine specific registers */
785 "\007PAE" /* Physical address extension */
786 "\010MCE" /* Machine Check support */
787 "\011CX8" /* CMPEXCH8 instruction */
788 "\012APIC" /* SMP local APIC */
789 "\013oldMTRR" /* Previous implementation of MTRR */
790 "\014SEP" /* Fast System Call */
791 "\015MTRR" /* Memory Type Range Registers */
792 "\016PGE" /* PG_G (global bit) support */
793 "\017MCA" /* Machine Check Architecture */
794 "\020CMOV" /* CMOV instruction */
795 "\021PAT" /* Page attributes table */
796 "\022PSE36" /* 36 bit address space support */
797 "\023PN" /* Processor Serial number */
798 "\024CLFLUSH" /* Has the CLFLUSH instruction */
800 "\026DTS" /* Debug Trace Store */
801 "\027ACPI" /* ACPI support */
802 "\030MMX" /* MMX instructions */
803 "\031FXSR" /* FXSAVE/FXRSTOR */
804 "\032SSE" /* Streaming SIMD Extensions */
805 "\033SSE2" /* Streaming SIMD Extensions #2 */
806 "\034SS" /* Self snoop */
807 "\035HTT" /* Hyperthreading (see EBX bit 16-23) */
808 "\036TM" /* Thermal Monitor clock slowdown */
809 "\037IA64" /* CPU can execute IA64 instructions */
810 "\040PBE" /* Pending Break Enable */
813 if (cpu_feature2 != 0) {
814 printf("\n Features2=0x%b", cpu_feature2,
816 "\001SSE3" /* SSE3 */
817 "\002PCLMULQDQ" /* Carry-Less Mul Quadword */
818 "\003DTES64" /* 64-bit Debug Trace */
819 "\004MON" /* MONITOR/MWAIT Instructions */
820 "\005DS_CPL" /* CPL Qualified Debug Store */
821 "\006VMX" /* Virtual Machine Extensions */
822 "\007SMX" /* Safer Mode Extensions */
823 "\010EST" /* Enhanced SpeedStep */
824 "\011TM2" /* Thermal Monitor 2 */
825 "\012SSSE3" /* SSSE3 */
826 "\013CNXT-ID" /* L1 context ID available */
827 "\014SDBG" /* IA32 silicon debug */
828 "\015FMA" /* Fused Multiply Add */
829 "\016CX16" /* CMPXCHG16B Instruction */
830 "\017xTPR" /* Send Task Priority Messages*/
831 "\020PDCM" /* Perf/Debug Capability MSR */
833 "\022PCID" /* Process-context Identifiers*/
834 "\023DCA" /* Direct Cache Access */
835 "\024SSE4.1" /* SSE 4.1 */
836 "\025SSE4.2" /* SSE 4.2 */
837 "\026x2APIC" /* xAPIC Extensions */
838 "\027MOVBE" /* MOVBE Instruction */
839 "\030POPCNT" /* POPCNT Instruction */
840 "\031TSCDLT" /* TSC-Deadline Timer */
841 "\032AESNI" /* AES Crypto */
842 "\033XSAVE" /* XSAVE/XRSTOR States */
843 "\034OSXSAVE" /* OS-Enabled State Management*/
844 "\035AVX" /* Advanced Vector Extensions */
845 "\036F16C" /* Half-precision conversions */
846 "\037RDRAND" /* RDRAND Instruction */
847 "\040HV" /* Hypervisor */
851 if (amd_feature != 0) {
852 printf("\n AMD Features=0x%b", amd_feature,
854 "\001<s0>" /* Same */
855 "\002<s1>" /* Same */
856 "\003<s2>" /* Same */
857 "\004<s3>" /* Same */
858 "\005<s4>" /* Same */
859 "\006<s5>" /* Same */
860 "\007<s6>" /* Same */
861 "\010<s7>" /* Same */
862 "\011<s8>" /* Same */
863 "\012<s9>" /* Same */
864 "\013<b10>" /* Undefined */
865 "\014SYSCALL" /* Have SYSCALL/SYSRET */
866 "\015<s12>" /* Same */
867 "\016<s13>" /* Same */
868 "\017<s14>" /* Same */
869 "\020<s15>" /* Same */
870 "\021<s16>" /* Same */
871 "\022<s17>" /* Same */
872 "\023<b18>" /* Reserved, unknown */
873 "\024MP" /* Multiprocessor Capable */
874 "\025NX" /* Has EFER.NXE, NX */
875 "\026<b21>" /* Undefined */
876 "\027MMX+" /* AMD MMX Extensions */
877 "\030<s23>" /* Same */
878 "\031<s24>" /* Same */
879 "\032FFXSR" /* Fast FXSAVE/FXRSTOR */
880 "\033Page1GB" /* 1-GB large page support */
881 "\034RDTSCP" /* RDTSCP */
882 "\035<b28>" /* Undefined */
883 "\036LM" /* 64 bit long mode */
884 "\0373DNow!+" /* AMD 3DNow! Extensions */
885 "\0403DNow!" /* AMD 3DNow! */
889 if (amd_feature2 != 0) {
890 printf("\n AMD Features2=0x%b", amd_feature2,
892 "\001LAHF" /* LAHF/SAHF in long mode */
893 "\002CMP" /* CMP legacy */
894 "\003SVM" /* Secure Virtual Mode */
895 "\004ExtAPIC" /* Extended APIC register */
896 "\005CR8" /* CR8 in legacy mode */
897 "\006ABM" /* LZCNT instruction */
898 "\007SSE4A" /* SSE4A */
899 "\010MAS" /* Misaligned SSE mode */
900 "\011Prefetch" /* 3DNow! Prefetch/PrefetchW */
901 "\012OSVW" /* OS visible workaround */
902 "\013IBS" /* Instruction based sampling */
903 "\014XOP" /* XOP extended instructions */
904 "\015SKINIT" /* SKINIT/STGI */
905 "\016WDT" /* Watchdog timer */
907 "\020LWP" /* Lightweight Profiling */
908 "\021FMA4" /* 4-operand FMA instructions */
909 "\022TCE" /* Translation Cache Extension */
911 "\024NodeId" /* NodeId MSR support */
913 "\026TBM" /* Trailing Bit Manipulation */
914 "\027Topology" /* Topology Extensions */
915 "\030PCXC" /* Core perf count */
916 "\031PNXC" /* NB perf count */
918 "\033DBE" /* Data Breakpoint extension */
919 "\034PTSC" /* Performance TSC */
920 "\035PL2I" /* L2I perf count */
921 "\036MWAITX" /* MONITORX/MWAITX instructions */
927 if (cpu_stdext_feature != 0) {
928 printf("\n Structured Extended Features=0x%b",
931 /* RDFSBASE/RDGSBASE/WRFSBASE/WRGSBASE */
935 /* Bit Manipulation Instructions */
937 /* Hardware Lock Elision */
939 /* Advanced Vector Instructions 2 */
941 /* FDP_EXCPTN_ONLY */
943 /* Supervisor Mode Execution Prot. */
945 /* Bit Manipulation Instructions */
948 /* Invalidate Processor Context ID */
950 /* Restricted Transactional Memory */
954 /* Intel Memory Protection Extensions */
957 /* AVX512 Foundation */
964 /* Supervisor Mode Access Prevention */
967 /* Formerly PCOMMIT */
981 if (cpu_stdext_feature2 != 0) {
982 printf("\n Structured Extended Features2=0x%b",
997 "\016AVX512VPOPCNTDQ"
1007 if (cpu_stdext_feature3 != 0) {
1008 printf("\n Structured Extended Features3=0x%b",
1009 cpu_stdext_feature3,
1013 "\011AVX512VP2INTERSECT"
1026 if ((cpu_feature2 & CPUID2_XSAVE) != 0) {
1027 cpuid_count(0xd, 0x1, regs);
1029 printf("\n XSAVE Features=0x%b",
1039 if (cpu_ia32_arch_caps != 0) {
1040 printf("\n IA32_ARCH_CAPS=0x%b",
1041 (u_int)cpu_ia32_arch_caps,
1046 "\004SKIP_L1DFL_VME"
1052 if (amd_extended_feature_extensions != 0) {
1053 u_int amd_fe_masked;
1055 amd_fe_masked = amd_extended_feature_extensions;
1056 if ((amd_fe_masked & AMDFEID_IBRS) == 0)
1058 ~(AMDFEID_IBRS_ALWAYSON |
1059 AMDFEID_PREFER_IBRS);
1060 if ((amd_fe_masked & AMDFEID_STIBP) == 0)
1062 ~AMDFEID_STIBP_ALWAYSON;
1065 "AMD Extended Feature Extensions ID EBX="
1066 "0x%b", amd_fe_masked,
1078 "\022STIBP_ALWAYSON"
1086 if (via_feature_rng != 0 || via_feature_xcrypt != 0)
1087 print_via_padlock_info();
1089 if (cpu_feature2 & CPUID2_VMX)
1092 if (amd_feature2 & AMDID2_SVM)
1095 if ((cpu_feature & CPUID_HTT) &&
1096 cpu_vendor_id == CPU_VENDOR_AMD)
1097 cpu_feature &= ~CPUID_HTT;
1100 * If this CPU supports P-state invariant TSC then
1101 * mention the capability.
1103 if (tsc_is_invariant) {
1104 printf("\n TSC: P-state invariant");
1106 printf(", performance statistics");
1110 } else if (cpu_vendor_id == CPU_VENDOR_CYRIX) {
1111 printf(" DIR=0x%04x", cyrix_did);
1112 printf(" Stepping=%u", (cyrix_did & 0xf000) >> 12);
1113 printf(" Revision=%u", (cyrix_did & 0x0f00) >> 8);
1114 #ifndef CYRIX_CACHE_REALLY_WORKS
1115 if (cpu == CPU_M1 && (cyrix_did & 0xff00) < 0x1700)
1116 printf("\n CPU cache: write-through mode");
1121 /* Avoid ugly blank lines: only print newline when we have to. */
1122 if (*cpu_vendor || cpu_id)
1126 if (cpu_vendor_id == CPU_VENDOR_AMD)
1128 else if (cpu_vendor_id == CPU_VENDOR_INTEL)
1131 else if (cpu_vendor_id == CPU_VENDOR_TRANSMETA)
1132 print_transmeta_info();
1136 print_hypervisor_info();
1141 panicifcpuunsupported(void)
1145 #if !defined(I486_CPU) && !defined(I586_CPU) && !defined(I686_CPU)
1146 #error This kernel is not configured for one of the supported CPUs
1151 * Now that we have told the user what they have,
1152 * let them know if that machine type isn't configured.
1154 switch (cpu_class) {
1155 case CPUCLASS_286: /* a 286 should not make it this far, anyway */
1157 #if !defined(I486_CPU)
1160 #if !defined(I586_CPU)
1163 #if !defined(I686_CPU)
1166 panic("CPU class not configured");
1172 static volatile u_int trap_by_rdmsr;
1175 * Special exception 6 handler.
1176 * The rdmsr instruction generates invalid opcodes fault on 486-class
1177 * Cyrix CPU. Stacked eip register points the rdmsr instruction in the
1178 * function identblue() when this handler is called. Stacked eip should
1181 inthand_t bluetrap6;
1182 #ifdef __GNUCLIKE_ASM
1187 .type " __XSTRING(CNAME(bluetrap6)) ",@function \n\
1188 " __XSTRING(CNAME(bluetrap6)) ": \n\
1190 movl $0xa8c1d," __XSTRING(CNAME(trap_by_rdmsr)) " \n\
1191 addl $2, (%esp) /* rdmsr is a 2-byte instruction */ \n\
1197 * Special exception 13 handler.
1198 * Accessing non-existent MSR generates general protection fault.
1200 inthand_t bluetrap13;
1201 #ifdef __GNUCLIKE_ASM
1206 .type " __XSTRING(CNAME(bluetrap13)) ",@function \n\
1207 " __XSTRING(CNAME(bluetrap13)) ": \n\
1209 movl $0xa89c4," __XSTRING(CNAME(trap_by_rdmsr)) " \n\
1210 popl %eax /* discard error code */ \n\
1211 addl $2, (%esp) /* rdmsr is a 2-byte instruction */ \n\
1217 * Distinguish IBM Blue Lightning CPU from Cyrix CPUs that does not
1218 * support cpuid instruction. This function should be called after
1219 * loading interrupt descriptor table register.
1221 * I don't like this method that handles fault, but I couldn't get
1222 * information for any other methods. Does blue giant know?
1231 * Cyrix 486-class CPU does not support rdmsr instruction.
1232 * The rdmsr instruction generates invalid opcode fault, and exception
1233 * will be trapped by bluetrap6() on Cyrix 486-class CPU. The
1234 * bluetrap6() set the magic number to trap_by_rdmsr.
1236 setidt(IDT_UD, bluetrap6, SDT_SYS386TGT, SEL_KPL,
1237 GSEL(GCODE_SEL, SEL_KPL));
1240 * Certain BIOS disables cpuid instruction of Cyrix 6x86MX CPU.
1241 * In this case, rdmsr generates general protection fault, and
1242 * exception will be trapped by bluetrap13().
1244 setidt(IDT_GP, bluetrap13, SDT_SYS386TGT, SEL_KPL,
1245 GSEL(GCODE_SEL, SEL_KPL));
1247 rdmsr(0x1002); /* Cyrix CPU generates fault. */
1249 if (trap_by_rdmsr == 0xa8c1d)
1250 return IDENTBLUE_CYRIX486;
1251 else if (trap_by_rdmsr == 0xa89c4)
1252 return IDENTBLUE_CYRIXM2;
1253 return IDENTBLUE_IBMCPU;
1258 * identifycyrix() set lower 16 bits of cyrix_did as follows:
1260 * F E D C B A 9 8 7 6 5 4 3 2 1 0
1261 * +-------+-------+---------------+
1262 * | SID | RID | Device ID |
1263 * | (DIR 1) | (DIR 0) |
1264 * +-------+-------+---------------+
1269 register_t saveintr;
1270 int ccr2_test = 0, dir_test = 0;
1273 saveintr = intr_disable();
1275 ccr2 = read_cyrix_reg(CCR2);
1276 write_cyrix_reg(CCR2, ccr2 ^ CCR2_LOCK_NW);
1277 read_cyrix_reg(CCR2);
1278 if (read_cyrix_reg(CCR2) != ccr2)
1280 write_cyrix_reg(CCR2, ccr2);
1282 ccr3 = read_cyrix_reg(CCR3);
1283 write_cyrix_reg(CCR3, ccr3 ^ CCR3_MAPEN3);
1284 read_cyrix_reg(CCR3);
1285 if (read_cyrix_reg(CCR3) != ccr3)
1286 dir_test = 1; /* CPU supports DIRs. */
1287 write_cyrix_reg(CCR3, ccr3);
1290 /* Device ID registers are available. */
1291 cyrix_did = read_cyrix_reg(DIR1) << 8;
1292 cyrix_did += read_cyrix_reg(DIR0);
1293 } else if (ccr2_test)
1294 cyrix_did = 0x0010; /* 486S A-step */
1296 cyrix_did = 0x00ff; /* Old 486SLC/DLC and TI486SXLC/SXL */
1298 intr_restore(saveintr);
1302 /* Update TSC freq with the value indicated by the caller. */
1304 tsc_freq_changed(void *arg __unused, const struct cf_level *level, int status)
1307 /* If there was an error during the transition, don't do anything. */
1311 /* Total setting for this level gives the new frequency in MHz. */
1312 hw_clockrate = level->total_set.freq;
1316 hook_tsc_freq(void *arg __unused)
1319 if (tsc_is_invariant)
1322 tsc_post_tag = EVENTHANDLER_REGISTER(cpufreq_post_change,
1323 tsc_freq_changed, NULL, EVENTHANDLER_PRI_ANY);
1326 SYSINIT(hook_tsc_freq, SI_SUB_CONFIGURE, SI_ORDER_ANY, hook_tsc_freq, NULL);
1328 static const struct {
1329 const char * vm_bname;
1332 { "QEMU", VM_GUEST_VM }, /* QEMU */
1333 { "Plex86", VM_GUEST_VM }, /* Plex86 */
1334 { "Bochs", VM_GUEST_VM }, /* Bochs */
1335 { "Xen", VM_GUEST_XEN }, /* Xen */
1336 { "BHYVE", VM_GUEST_BHYVE }, /* bhyve */
1337 { "Seabios", VM_GUEST_KVM }, /* KVM */
1340 static const struct {
1341 const char * vm_pname;
1344 { "VMware Virtual Platform", VM_GUEST_VMWARE },
1345 { "Virtual Machine", VM_GUEST_VM }, /* Microsoft VirtualPC */
1346 { "VirtualBox", VM_GUEST_VBOX },
1347 { "Parallels Virtual Platform", VM_GUEST_PARALLELS },
1348 { "KVM", VM_GUEST_KVM },
1352 const char *vm_cpuid;
1355 { "XENXENXEN", VM_GUEST_XEN }, /* XEN */
1356 { "Microsoft Hv", VM_GUEST_HV }, /* Microsoft Hyper-V */
1357 { "VMwareVMware", VM_GUEST_VMWARE }, /* VMware VM */
1358 { "KVMKVMKVM", VM_GUEST_KVM }, /* KVM */
1359 { "bhyve bhyve ", VM_GUEST_BHYVE }, /* bhyve */
1360 { "VBoxVBoxVBox", VM_GUEST_VBOX }, /* VirtualBox */
1364 identify_hypervisor_cpuid_base(void)
1366 u_int leaf, regs[4];
1370 * [RFC] CPUID usage for interaction between Hypervisors and Linux.
1371 * http://lkml.org/lkml/2008/10/1/246
1373 * KB1009458: Mechanisms to determine if software is running in
1374 * a VMware virtual machine
1375 * http://kb.vmware.com/kb/1009458
1377 * Search for a hypervisor that we recognize. If we cannot find
1378 * a specific hypervisor, return the first information about the
1379 * hypervisor that we found, as others may be able to use.
1381 for (leaf = 0x40000000; leaf < 0x40010000; leaf += 0x100) {
1382 do_cpuid(leaf, regs);
1385 * KVM from Linux kernels prior to commit
1386 * 57c22e5f35aa4b9b2fe11f73f3e62bbf9ef36190 set %eax
1387 * to 0 rather than a valid hv_high value. Check for
1388 * the KVM signature bytes and fixup %eax to the
1389 * highest supported leaf in that case.
1391 if (regs[0] == 0 && regs[1] == 0x4b4d564b &&
1392 regs[2] == 0x564b4d56 && regs[3] == 0x0000004d)
1395 if (regs[0] >= leaf) {
1396 for (i = 0; i < nitems(vm_cpuids); i++)
1397 if (strncmp((const char *)®s[1],
1398 vm_cpuids[i].vm_cpuid, 12) == 0) {
1399 vm_guest = vm_cpuids[i].vm_guest;
1404 * If this is the first entry or we found a
1405 * specific hypervisor, record the base, high value,
1406 * and vendor identifier.
1408 if (vm_guest != VM_GUEST_VM || leaf == 0x40000000) {
1411 ((u_int *)&hv_vendor)[0] = regs[1];
1412 ((u_int *)&hv_vendor)[1] = regs[2];
1413 ((u_int *)&hv_vendor)[2] = regs[3];
1414 hv_vendor[12] = '\0';
1417 * If we found a specific hypervisor, then
1420 if (vm_guest != VM_GUEST_VM)
1428 identify_hypervisor(void)
1435 * If CPUID2_HV is set, we are running in a hypervisor environment.
1437 if (cpu_feature2 & CPUID2_HV) {
1438 vm_guest = VM_GUEST_VM;
1439 identify_hypervisor_cpuid_base();
1441 /* If we have a definitive vendor, we can return now. */
1442 if (*hv_vendor != '\0')
1447 * Examine SMBIOS strings for older hypervisors.
1449 p = kern_getenv("smbios.system.serial");
1451 if (strncmp(p, "VMware-", 7) == 0 || strncmp(p, "VMW", 3) == 0) {
1452 vmware_hvcall(VMW_HVCMD_GETVERSION, regs);
1453 if (regs[1] == VMW_HVMAGIC) {
1454 vm_guest = VM_GUEST_VMWARE;
1463 * XXX: Some of these entries may not be needed since they were
1464 * added to FreeBSD before the checks above.
1466 p = kern_getenv("smbios.bios.vendor");
1468 for (i = 0; i < nitems(vm_bnames); i++)
1469 if (strcmp(p, vm_bnames[i].vm_bname) == 0) {
1470 vm_guest = vm_bnames[i].vm_guest;
1471 /* If we have a specific match, return */
1472 if (vm_guest != VM_GUEST_VM) {
1477 * We are done with bnames, but there might be
1478 * a more specific match in the pnames
1484 p = kern_getenv("smbios.system.product");
1486 for (i = 0; i < nitems(vm_pnames); i++)
1487 if (strcmp(p, vm_pnames[i].vm_pname) == 0) {
1488 vm_guest = vm_pnames[i].vm_guest;
1502 * Clear "Limit CPUID Maxval" bit and return true if the caller should
1503 * get the largest standard CPUID function number again if it is set
1504 * from BIOS. It is necessary for probing correct CPU topology later
1505 * and for the correct operation of the AVX-aware userspace.
1507 if (cpu_vendor_id == CPU_VENDOR_INTEL &&
1508 ((CPUID_TO_FAMILY(cpu_id) == 0xf &&
1509 CPUID_TO_MODEL(cpu_id) >= 0x3) ||
1510 (CPUID_TO_FAMILY(cpu_id) == 0x6 &&
1511 CPUID_TO_MODEL(cpu_id) >= 0xe))) {
1512 msr = rdmsr(MSR_IA32_MISC_ENABLE);
1513 if ((msr & IA32_MISC_EN_LIMCPUID) != 0) {
1514 msr &= ~IA32_MISC_EN_LIMCPUID;
1515 wrmsr(MSR_IA32_MISC_ENABLE, msr);
1521 * Re-enable AMD Topology Extension that could be disabled by BIOS
1522 * on some notebook processors. Without the extension it's really
1523 * hard to determine the correct CPU cache topology.
1524 * See BIOS and Kernel Developer’s Guide (BKDG) for AMD Family 15h
1525 * Models 60h-6Fh Processors, Publication # 50742.
1527 if (vm_guest == VM_GUEST_NO && cpu_vendor_id == CPU_VENDOR_AMD &&
1528 CPUID_TO_FAMILY(cpu_id) == 0x15) {
1529 msr = rdmsr(MSR_EXTFEATURES);
1530 if ((msr & ((uint64_t)1 << 54)) == 0) {
1531 msr |= (uint64_t)1 << 54;
1532 wrmsr(MSR_EXTFEATURES, msr);
1546 ((u_int *)&cpu_vendor)[0] = regs[1];
1547 ((u_int *)&cpu_vendor)[1] = regs[3];
1548 ((u_int *)&cpu_vendor)[2] = regs[2];
1549 cpu_vendor[12] = '\0';
1553 cpu_procinfo = regs[1];
1554 cpu_feature = regs[3];
1555 cpu_feature2 = regs[2];
1561 u_int regs[4], cpu_stdext_disable;
1563 if (cpu_high >= 6) {
1564 cpuid_count(6, 0, regs);
1565 cpu_power_eax = regs[0];
1566 cpu_power_ebx = regs[1];
1567 cpu_power_ecx = regs[2];
1568 cpu_power_edx = regs[3];
1571 if (cpu_high >= 7) {
1572 cpuid_count(7, 0, regs);
1573 cpu_stdext_feature = regs[1];
1576 * Some hypervisors failed to filter out unsupported
1577 * extended features. Allow to disable the
1578 * extensions, activation of which requires setting a
1579 * bit in CR4, and which VM monitors do not support.
1581 cpu_stdext_disable = 0;
1582 TUNABLE_INT_FETCH("hw.cpu_stdext_disable", &cpu_stdext_disable);
1583 cpu_stdext_feature &= ~cpu_stdext_disable;
1585 cpu_stdext_feature2 = regs[2];
1586 cpu_stdext_feature3 = regs[3];
1588 if ((cpu_stdext_feature3 & CPUID_STDEXT3_ARCH_CAP) != 0)
1589 cpu_ia32_arch_caps = rdmsr(MSR_IA32_ARCH_CAP);
1594 identify_cpu_fixup_bsp(void)
1598 cpu_vendor_id = find_cpu_vendor_id();
1607 * Final stage of CPU identification.
1610 finishidentcpu(void)
1617 identify_cpu_fixup_bsp();
1619 if (cpu_high >= 5 && (cpu_feature2 & CPUID2_MON) != 0) {
1621 cpu_mon_mwait_flags = regs[2];
1622 cpu_mon_min_size = regs[0] & CPUID5_MON_MIN_SIZE;
1623 cpu_mon_max_size = regs[1] & CPUID5_MON_MAX_SIZE;
1630 (cpu_vendor_id == CPU_VENDOR_INTEL ||
1631 cpu_vendor_id == CPU_VENDOR_AMD ||
1632 cpu_vendor_id == CPU_VENDOR_TRANSMETA ||
1633 cpu_vendor_id == CPU_VENDOR_CENTAUR ||
1634 cpu_vendor_id == CPU_VENDOR_NSC)) {
1635 do_cpuid(0x80000000, regs);
1636 if (regs[0] >= 0x80000000)
1637 cpu_exthigh = regs[0];
1640 if (cpu_vendor_id == CPU_VENDOR_INTEL ||
1641 cpu_vendor_id == CPU_VENDOR_AMD ||
1642 cpu_vendor_id == CPU_VENDOR_CENTAUR) {
1643 do_cpuid(0x80000000, regs);
1644 cpu_exthigh = regs[0];
1647 if (cpu_exthigh >= 0x80000001) {
1648 do_cpuid(0x80000001, regs);
1649 amd_feature = regs[3] & ~(cpu_feature & 0x0183f3ff);
1650 amd_feature2 = regs[2];
1652 if (cpu_exthigh >= 0x80000007) {
1653 do_cpuid(0x80000007, regs);
1654 amd_rascap = regs[1];
1655 amd_pminfo = regs[3];
1657 if (cpu_exthigh >= 0x80000008) {
1658 do_cpuid(0x80000008, regs);
1659 cpu_maxphyaddr = regs[0] & 0xff;
1660 amd_extended_feature_extensions = regs[1];
1661 cpu_procinfo2 = regs[2];
1663 cpu_maxphyaddr = (cpu_feature & CPUID_PAE) != 0 ? 36 : 32;
1667 if (cpu_vendor_id == CPU_VENDOR_CYRIX) {
1668 if (cpu == CPU_486) {
1670 * These conditions are equivalent to:
1671 * - CPU does not support cpuid instruction.
1672 * - Cyrix/IBM CPU is detected.
1674 if (identblue() == IDENTBLUE_IBMCPU) {
1675 strcpy(cpu_vendor, "IBM");
1676 cpu_vendor_id = CPU_VENDOR_IBM;
1681 switch (cpu_id & 0xf00) {
1684 * Cyrix's datasheet does not describe DIRs.
1685 * Therefor, I assume it does not have them
1686 * and use the result of the cpuid instruction.
1687 * XXX they seem to have it for now at least. -Peter
1695 * This routine contains a trick.
1696 * Don't check (cpu_id & 0x00f0) == 0x50 to detect M2, now.
1698 switch (cyrix_did & 0x00f0) {
1707 if ((cyrix_did & 0x000f) < 8)
1720 /* M2 and later CPUs are treated as M2. */
1724 * enable cpuid instruction.
1726 ccr3 = read_cyrix_reg(CCR3);
1727 write_cyrix_reg(CCR3, CCR3_MAPEN0);
1728 write_cyrix_reg(CCR4, read_cyrix_reg(CCR4) | CCR4_CPUID);
1729 write_cyrix_reg(CCR3, ccr3);
1732 cpu_high = regs[0]; /* eax */
1734 cpu_id = regs[0]; /* eax */
1735 cpu_feature = regs[3]; /* edx */
1739 } else if (cpu == CPU_486 && *cpu_vendor == '\0') {
1741 * There are BlueLightning CPUs that do not change
1742 * undefined flags by dividing 5 by 2. In this case,
1743 * the CPU identification routine in locore.s leaves
1744 * cpu_vendor null string and puts CPU_486 into the
1747 if (identblue() == IDENTBLUE_IBMCPU) {
1748 strcpy(cpu_vendor, "IBM");
1749 cpu_vendor_id = CPU_VENDOR_IBM;
1758 pti_get_default(void)
1761 if (strcmp(cpu_vendor, AMD_VENDOR_ID) == 0)
1763 if ((cpu_ia32_arch_caps & IA32_ARCH_CAP_RDCL_NO) != 0)
1769 find_cpu_vendor_id(void)
1773 for (i = 0; i < nitems(cpu_vendors); i++)
1774 if (strcmp(cpu_vendor, cpu_vendors[i].vendor) == 0)
1775 return (cpu_vendors[i].vendor_id);
1780 print_AMD_assoc(int i)
1783 printf(", fully associative\n");
1785 printf(", %d-way associative\n", i);
1789 print_AMD_l2_assoc(int i)
1792 case 0: printf(", disabled/not present\n"); break;
1793 case 1: printf(", direct mapped\n"); break;
1794 case 2: printf(", 2-way associative\n"); break;
1795 case 4: printf(", 4-way associative\n"); break;
1796 case 6: printf(", 8-way associative\n"); break;
1797 case 8: printf(", 16-way associative\n"); break;
1798 case 15: printf(", fully associative\n"); break;
1799 default: printf(", reserved configuration\n"); break;
1804 print_AMD_info(void)
1811 if (cpu_exthigh >= 0x80000005) {
1812 do_cpuid(0x80000005, regs);
1813 printf("L1 2MB data TLB: %d entries", (regs[0] >> 16) & 0xff);
1814 print_AMD_assoc(regs[0] >> 24);
1816 printf("L1 2MB instruction TLB: %d entries", regs[0] & 0xff);
1817 print_AMD_assoc((regs[0] >> 8) & 0xff);
1819 printf("L1 4KB data TLB: %d entries", (regs[1] >> 16) & 0xff);
1820 print_AMD_assoc(regs[1] >> 24);
1822 printf("L1 4KB instruction TLB: %d entries", regs[1] & 0xff);
1823 print_AMD_assoc((regs[1] >> 8) & 0xff);
1825 printf("L1 data cache: %d kbytes", regs[2] >> 24);
1826 printf(", %d bytes/line", regs[2] & 0xff);
1827 printf(", %d lines/tag", (regs[2] >> 8) & 0xff);
1828 print_AMD_assoc((regs[2] >> 16) & 0xff);
1830 printf("L1 instruction cache: %d kbytes", regs[3] >> 24);
1831 printf(", %d bytes/line", regs[3] & 0xff);
1832 printf(", %d lines/tag", (regs[3] >> 8) & 0xff);
1833 print_AMD_assoc((regs[3] >> 16) & 0xff);
1836 if (cpu_exthigh >= 0x80000006) {
1837 do_cpuid(0x80000006, regs);
1838 if ((regs[0] >> 16) != 0) {
1839 printf("L2 2MB data TLB: %d entries",
1840 (regs[0] >> 16) & 0xfff);
1841 print_AMD_l2_assoc(regs[0] >> 28);
1842 printf("L2 2MB instruction TLB: %d entries",
1844 print_AMD_l2_assoc((regs[0] >> 28) & 0xf);
1846 printf("L2 2MB unified TLB: %d entries",
1848 print_AMD_l2_assoc((regs[0] >> 28) & 0xf);
1850 if ((regs[1] >> 16) != 0) {
1851 printf("L2 4KB data TLB: %d entries",
1852 (regs[1] >> 16) & 0xfff);
1853 print_AMD_l2_assoc(regs[1] >> 28);
1855 printf("L2 4KB instruction TLB: %d entries",
1856 (regs[1] >> 16) & 0xfff);
1857 print_AMD_l2_assoc((regs[1] >> 28) & 0xf);
1859 printf("L2 4KB unified TLB: %d entries",
1860 (regs[1] >> 16) & 0xfff);
1861 print_AMD_l2_assoc((regs[1] >> 28) & 0xf);
1863 printf("L2 unified cache: %d kbytes", regs[2] >> 16);
1864 printf(", %d bytes/line", regs[2] & 0xff);
1865 printf(", %d lines/tag", (regs[2] >> 8) & 0x0f);
1866 print_AMD_l2_assoc((regs[2] >> 12) & 0x0f);
1870 if (((cpu_id & 0xf00) == 0x500)
1871 && (((cpu_id & 0x0f0) > 0x80)
1872 || (((cpu_id & 0x0f0) == 0x80)
1873 && (cpu_id & 0x00f) > 0x07))) {
1874 /* K6-2(new core [Stepping 8-F]), K6-III or later */
1875 amd_whcr = rdmsr(0xc0000082);
1876 if (!(amd_whcr & (0x3ff << 22))) {
1877 printf("Write Allocate Disable\n");
1879 printf("Write Allocate Enable Limit: %dM bytes\n",
1880 (u_int32_t)((amd_whcr & (0x3ff << 22)) >> 22) * 4);
1881 printf("Write Allocate 15-16M bytes: %s\n",
1882 (amd_whcr & (1 << 16)) ? "Enable" : "Disable");
1884 } else if (((cpu_id & 0xf00) == 0x500)
1885 && ((cpu_id & 0x0f0) > 0x50)) {
1886 /* K6, K6-2(old core) */
1887 amd_whcr = rdmsr(0xc0000082);
1888 if (!(amd_whcr & (0x7f << 1))) {
1889 printf("Write Allocate Disable\n");
1891 printf("Write Allocate Enable Limit: %dM bytes\n",
1892 (u_int32_t)((amd_whcr & (0x7f << 1)) >> 1) * 4);
1893 printf("Write Allocate 15-16M bytes: %s\n",
1894 (amd_whcr & 0x0001) ? "Enable" : "Disable");
1895 printf("Hardware Write Allocate Control: %s\n",
1896 (amd_whcr & 0x0100) ? "Enable" : "Disable");
1901 * Opteron Rev E shows a bug as in very rare occasions a read memory
1902 * barrier is not performed as expected if it is followed by a
1903 * non-atomic read-modify-write instruction.
1904 * As long as that bug pops up very rarely (intensive machine usage
1905 * on other operating systems generally generates one unexplainable
1906 * crash any 2 months) and as long as a model specific fix would be
1907 * impractical at this stage, print out a warning string if the broken
1908 * model and family are identified.
1910 if (CPUID_TO_FAMILY(cpu_id) == 0xf && CPUID_TO_MODEL(cpu_id) >= 0x20 &&
1911 CPUID_TO_MODEL(cpu_id) <= 0x3f)
1912 printf("WARNING: This architecture revision has known SMP "
1913 "hardware bugs which may cause random instability\n");
1917 print_INTEL_info(void)
1920 u_int rounds, regnum;
1921 u_int nwaycode, nway;
1923 if (cpu_high >= 2) {
1926 do_cpuid(0x2, regs);
1927 if (rounds == 0 && (rounds = (regs[0] & 0xff)) == 0)
1928 break; /* we have a buggy CPU */
1930 for (regnum = 0; regnum <= 3; ++regnum) {
1931 if (regs[regnum] & (1<<31))
1934 print_INTEL_TLB(regs[regnum] & 0xff);
1935 print_INTEL_TLB((regs[regnum] >> 8) & 0xff);
1936 print_INTEL_TLB((regs[regnum] >> 16) & 0xff);
1937 print_INTEL_TLB((regs[regnum] >> 24) & 0xff);
1939 } while (--rounds > 0);
1942 if (cpu_exthigh >= 0x80000006) {
1943 do_cpuid(0x80000006, regs);
1944 nwaycode = (regs[2] >> 12) & 0x0f;
1945 if (nwaycode >= 0x02 && nwaycode <= 0x08)
1946 nway = 1 << (nwaycode / 2);
1949 printf("L2 cache: %u kbytes, %u-way associative, %u bytes/line\n",
1950 (regs[2] >> 16) & 0xffff, nway, regs[2] & 0xff);
1955 print_INTEL_TLB(u_int data)
1963 printf("Instruction TLB: 4 KB pages, 4-way set associative, 32 entries\n");
1966 printf("Instruction TLB: 4 MB pages, fully associative, 2 entries\n");
1969 printf("Data TLB: 4 KB pages, 4-way set associative, 64 entries\n");
1972 printf("Data TLB: 4 MB Pages, 4-way set associative, 8 entries\n");
1975 printf("1st-level instruction cache: 8 KB, 4-way set associative, 32 byte line size\n");
1978 printf("1st-level instruction cache: 16 KB, 4-way set associative, 32 byte line size\n");
1981 printf("1st-level instruction cache: 32 KB, 4-way set associative, 64 byte line size\n");
1984 printf("1st-level data cache: 8 KB, 2-way set associative, 32 byte line size\n");
1987 printf("Instruction TLB: 4 MByte pages, 4-way set associative, 4 entries\n");
1990 printf("1st-level data cache: 16 KB, 4-way set associative, 32 byte line size\n");
1993 printf("1st-level data cache: 16 KBytes, 4-way set associative, 64 byte line size");
1996 printf("1st-level data cache: 24 KBytes, 6-way set associative, 64 byte line size\n");
1999 printf("2nd-level cache: 128 KBytes, 2-way set associative, 64 byte line size\n");
2002 printf("2nd-level cache: 256 KBytes, 8-way set associative, 64 byte line size\n");
2005 printf("3rd-level cache: 512 KB, 4-way set associative, sectored cache, 64 byte line size\n");
2008 printf("3rd-level cache: 1 MB, 8-way set associative, sectored cache, 64 byte line size\n");
2011 printf("2nd-level cache: 1 MBytes, 16-way set associative, 64 byte line size\n");
2014 printf("3rd-level cache: 2 MB, 8-way set associative, sectored cache, 64 byte line size\n");
2017 printf("3rd-level cache: 4 MB, 8-way set associative, sectored cache, 64 byte line size\n");
2020 printf("1st-level data cache: 32 KB, 8-way set associative, 64 byte line size\n");
2023 printf("1st-level instruction cache: 32 KB, 8-way set associative, 64 byte line size\n");
2025 case 0x39: /* De-listed in SDM rev. 54 */
2026 printf("2nd-level cache: 128 KB, 4-way set associative, sectored cache, 64 byte line size\n");
2028 case 0x3b: /* De-listed in SDM rev. 54 */
2029 printf("2nd-level cache: 128 KB, 2-way set associative, sectored cache, 64 byte line size\n");
2031 case 0x3c: /* De-listed in SDM rev. 54 */
2032 printf("2nd-level cache: 256 KB, 4-way set associative, sectored cache, 64 byte line size\n");
2035 printf("2nd-level cache: 128 KB, 4-way set associative, 32 byte line size\n");
2038 printf("2nd-level cache: 256 KB, 4-way set associative, 32 byte line size\n");
2041 printf("2nd-level cache: 512 KB, 4-way set associative, 32 byte line size\n");
2044 printf("2nd-level cache: 1 MB, 4-way set associative, 32 byte line size\n");
2047 printf("2nd-level cache: 2 MB, 4-way set associative, 32 byte line size\n");
2050 printf("3rd-level cache: 4 MB, 4-way set associative, 64 byte line size\n");
2053 printf("3rd-level cache: 8 MB, 8-way set associative, 64 byte line size\n");
2056 printf("2nd-level cache: 3MByte, 12-way set associative, 64 byte line size\n");
2059 if (CPUID_TO_FAMILY(cpu_id) == 0xf &&
2060 CPUID_TO_MODEL(cpu_id) == 0x6)
2061 printf("3rd-level cache: 4MB, 16-way set associative, 64-byte line size\n");
2063 printf("2nd-level cache: 4 MByte, 16-way set associative, 64 byte line size");
2066 printf("3rd-level cache: 6MByte, 12-way set associative, 64 byte line size\n");
2069 printf("3rd-level cache: 8MByte, 16-way set associative, 64 byte line size\n");
2072 printf("3rd-level cache: 12MByte, 12-way set associative, 64 byte line size\n");
2075 printf("3rd-level cache: 16MByte, 16-way set associative, 64 byte line size\n");
2078 printf("2nd-level cache: 6MByte, 24-way set associative, 64 byte line size\n");
2081 printf("Instruction TLB: 4 KByte pages, 32 entries\n");
2084 printf("Instruction TLB: 4 KB, 2 MB or 4 MB pages, fully associative, 64 entries\n");
2087 printf("Instruction TLB: 4 KB, 2 MB or 4 MB pages, fully associative, 128 entries\n");
2090 printf("Instruction TLB: 4 KB, 2 MB or 4 MB pages, fully associative, 256 entries\n");
2093 printf("Instruction TLB: 2-MByte or 4-MByte pages, fully associative, 7 entries\n");
2096 printf("Data TLB0: 4 MByte pages, 4-way set associative, 16 entries\n");
2099 printf("Data TLB0: 4 KByte pages, 4-way associative, 16 entries\n");
2102 printf("Data TLB0: 4 KByte pages, fully associative, 16 entries\n");
2105 printf("Data TLB0: 2-MByte or 4 MByte pages, 4-way set associative, 32 entries\n");
2108 printf("Data TLB: 4 KB or 4 MB pages, fully associative, 64 entries\n");
2111 printf("Data TLB: 4 KB or 4 MB pages, fully associative, 128 entries\n");
2114 printf("Data TLB: 4 KB or 4 MB pages, fully associative, 256 entries\n");
2117 printf("1st-level data cache: 16 KB, 8-way set associative, sectored cache, 64 byte line size\n");
2120 printf("Instruction TLB: 4 KByte pages, fully associative, 48 entries\n");
2123 printf("Data TLB: 2 MByte or 4 MByte pages, 4-way set associative, 32 entries and a separate array with 1 GByte pages, 4-way set associative, 4 entries\n");
2126 printf("Data TLB: 4 KBytes pages, 4-way set associative, 512 entries\n");
2129 printf("1st-level data cache: 8 KB, 4-way set associative, sectored cache, 64 byte line size\n");
2132 printf("1st-level data cache: 16 KB, 4-way set associative, sectored cache, 64 byte line size\n");
2135 printf("1st-level data cache: 32 KB, 4 way set associative, sectored cache, 64 byte line size\n");
2138 printf("uTLB: 4KByte pages, 8-way set associative, 64 entries\n");
2141 printf("DTLB: 4KByte pages, 8-way set associative, 256 entries\n");
2144 printf("DTLB: 2M/4M pages, 8-way set associative, 128 entries\n");
2147 printf("DTLB: 1 GByte pages, fully associative, 16 entries\n");
2150 printf("Trace cache: 12K-uops, 8-way set associative\n");
2153 printf("Trace cache: 16K-uops, 8-way set associative\n");
2156 printf("Trace cache: 32K-uops, 8-way set associative\n");
2159 printf("Instruction TLB: 2M/4M pages, fully associative, 8 entries\n");
2162 printf("2nd-level cache: 1 MB, 4-way set associative, 64-byte line size\n");
2165 printf("2nd-level cache: 128 KB, 8-way set associative, sectored cache, 64 byte line size\n");
2168 printf("2nd-level cache: 256 KB, 8-way set associative, sectored cache, 64 byte line size\n");
2171 printf("2nd-level cache: 512 KB, 8-way set associative, sectored cache, 64 byte line size\n");
2174 printf("2nd-level cache: 1 MB, 8-way set associative, sectored cache, 64 byte line size\n");
2177 printf("2nd-level cache: 2-MB, 8-way set associative, 64-byte line size\n");
2180 printf("2nd-level cache: 512-KB, 2-way set associative, 64-byte line size\n");
2183 printf("2nd-level cache: 512 KByte, 8-way set associative, 64-byte line size\n");
2186 printf("2nd-level cache: 256 KB, 8-way set associative, 32 byte line size\n");
2189 printf("2nd-level cache: 512 KB, 8-way set associative, 32 byte line size\n");
2192 printf("2nd-level cache: 1 MB, 8-way set associative, 32 byte line size\n");
2195 printf("2nd-level cache: 2 MB, 8-way set associative, 32 byte line size\n");
2198 printf("2nd-level cache: 512 KB, 4-way set associative, 64 byte line size\n");
2201 printf("2nd-level cache: 1 MB, 8-way set associative, 64 byte line size\n");
2204 printf("DTLB: 4k pages, fully associative, 32 entries\n");
2207 printf("Instruction TLB: 4 KB Pages, 4-way set associative, 128 entries\n");
2210 printf("Instruction TLB: 2M pages, 4-way, 8 entries or 4M pages, 4-way, 4 entries\n");
2213 printf("Instruction TLB: 4KByte pages, 4-way set associative, 64 entries\n");
2216 printf("Data TLB: 4 KB Pages, 4-way set associative, 128 entries\n");
2219 printf("Data TLB1: 4 KByte pages, 4-way associative, 256 entries\n");
2222 printf("Instruction TLB: 4KByte pages, 8-way set associative, 64 entries\n");
2225 printf("Instruction TLB: 4KByte pages, 8-way set associative, 128 entries\n");
2228 printf("Data TLB1: 4 KByte pages, 4-way associative, 64 entries\n");
2231 printf("Data TLB: 4 KByte and 4 MByte pages, 4-way associative, 8 entries\n");
2234 printf("Shared 2nd-Level TLB: 4 KByte/2MByte pages, 8-way associative, 1024 entries\n");
2237 printf("DTLB: 4 KByte/2 MByte pages, 4-way associative, 16 entries\n");
2240 printf("Shared 2nd-Level TLB: 4 KByte /2 MByte pages, 6-way associative, 1536 entries. Also 1GBbyte pages, 4-way, 16 entries\n");
2243 printf("DTLB: 2M/4M Byte pages, 4-way associative, 32 entries\n");
2246 printf("Shared 2nd-Level TLB: 4 KByte pages, 4-way associative, 512 entries\n");
2249 printf("3rd-level cache: 512 KByte, 4-way set associative, 64 byte line size\n");
2252 printf("3rd-level cache: 1 MByte, 4-way set associative, 64 byte line size\n");
2255 printf("3rd-level cache: 2 MByte, 4-way set associative, 64 byte line size\n");
2258 printf("3rd-level cache: 1 MByte, 8-way set associative, 64 byte line size\n");
2261 printf("3rd-level cache: 2 MByte, 8-way set associative, 64 byte line size\n");
2264 printf("3rd-level cache: 4 MByte, 8-way set associative, 64 byte line size\n");
2267 printf("3rd-level cache: 1.5 MByte, 12-way set associative, 64 byte line size\n");
2270 printf("3rd-level cache: 3 MByte, 12-way set associative, 64 byte line size\n");
2273 printf("3rd-level cache: 6 MByte, 12-way set associative, 64 byte line size\n");
2276 printf("3rd-level cache: 2 MByte, 16-way set associative, 64 byte line size\n");
2279 printf("3rd-level cache: 4 MByte, 16-way set associative, 64 byte line size\n");
2282 printf("3rd-level cache: 8 MByte, 16-way set associative, 64 byte line size\n");
2285 printf("3rd-level cache: 12MByte, 24-way set associative, 64 byte line size\n");
2288 printf("3rd-level cache: 18MByte, 24-way set associative, 64 byte line size\n");
2291 printf("3rd-level cache: 24MByte, 24-way set associative, 64 byte line size\n");
2294 printf("64-Byte prefetching\n");
2297 printf("128-Byte prefetching\n");
2303 print_svm_info(void)
2305 u_int features, regs[4];
2310 do_cpuid(0x8000000A, regs);
2313 msr = rdmsr(MSR_VM_CR);
2314 if ((msr & VM_CR_SVMDIS) == VM_CR_SVMDIS)
2315 printf("(disabled in BIOS) ");
2319 if (features & (1 << 0)) {
2320 printf("%sNP", comma ? "," : "");
2323 if (features & (1 << 3)) {
2324 printf("%sNRIP", comma ? "," : "");
2327 if (features & (1 << 5)) {
2328 printf("%sVClean", comma ? "," : "");
2331 if (features & (1 << 6)) {
2332 printf("%sAFlush", comma ? "," : "");
2335 if (features & (1 << 7)) {
2336 printf("%sDAssist", comma ? "," : "");
2339 printf("%sNAsids=%d", comma ? "," : "", regs[1]);
2343 printf("Features=0x%b", features,
2345 "\001NP" /* Nested paging */
2346 "\002LbrVirt" /* LBR virtualization */
2347 "\003SVML" /* SVM lock */
2348 "\004NRIPS" /* NRIP save */
2349 "\005TscRateMsr" /* MSR based TSC rate control */
2350 "\006VmcbClean" /* VMCB clean bits */
2351 "\007FlushByAsid" /* Flush by ASID */
2352 "\010DecodeAssist" /* Decode assist */
2355 "\013PauseFilter" /* PAUSE intercept filter */
2356 "\014EncryptedMcodePatch"
2357 "\015PauseFilterThreshold" /* PAUSE filter threshold */
2358 "\016AVIC" /* virtual interrupt controller */
2360 "\020V_VMSAVE_VMLOAD"
2362 "\022GMET" /* Guest Mode Execute Trap */
2378 printf("\nRevision=%d, ASIDs=%d", regs[0] & 0xff, regs[1]);
2383 print_transmeta_info(void)
2385 u_int regs[4], nreg = 0;
2387 do_cpuid(0x80860000, regs);
2389 if (nreg >= 0x80860001) {
2390 do_cpuid(0x80860001, regs);
2391 printf(" Processor revision %u.%u.%u.%u\n",
2392 (regs[1] >> 24) & 0xff,
2393 (regs[1] >> 16) & 0xff,
2394 (regs[1] >> 8) & 0xff,
2397 if (nreg >= 0x80860002) {
2398 do_cpuid(0x80860002, regs);
2399 printf(" Code Morphing Software revision %u.%u.%u-%u-%u\n",
2400 (regs[1] >> 24) & 0xff,
2401 (regs[1] >> 16) & 0xff,
2402 (regs[1] >> 8) & 0xff,
2406 if (nreg >= 0x80860006) {
2408 do_cpuid(0x80860003, (u_int*) &info[0]);
2409 do_cpuid(0x80860004, (u_int*) &info[16]);
2410 do_cpuid(0x80860005, (u_int*) &info[32]);
2411 do_cpuid(0x80860006, (u_int*) &info[48]);
2413 printf(" %s\n", info);
2419 print_via_padlock_info(void)
2423 do_cpuid(0xc0000001, regs);
2424 printf("\n VIA Padlock Features=0x%b", regs[3],
2428 "\011AES-CTR" /* ACE2 */
2429 "\013SHA1,SHA256" /* PHE */
2435 vmx_settable(uint64_t basic, int msr, int true_msr)
2439 if (basic & (1ULL << 55))
2440 val = rdmsr(true_msr);
2444 /* Just report the controls that can be set to 1. */
2449 print_vmx_info(void)
2451 uint64_t basic, msr;
2452 uint32_t entry, exit, mask, pin, proc, proc2;
2455 printf("\n VT-x: ");
2456 msr = rdmsr(MSR_IA32_FEATURE_CONTROL);
2457 if (!(msr & IA32_FEATURE_CONTROL_VMX_EN))
2458 printf("(disabled in BIOS) ");
2459 basic = rdmsr(MSR_VMX_BASIC);
2460 pin = vmx_settable(basic, MSR_VMX_PINBASED_CTLS,
2461 MSR_VMX_TRUE_PINBASED_CTLS);
2462 proc = vmx_settable(basic, MSR_VMX_PROCBASED_CTLS,
2463 MSR_VMX_TRUE_PROCBASED_CTLS);
2464 if (proc & PROCBASED_SECONDARY_CONTROLS)
2465 proc2 = vmx_settable(basic, MSR_VMX_PROCBASED_CTLS2,
2466 MSR_VMX_PROCBASED_CTLS2);
2469 exit = vmx_settable(basic, MSR_VMX_EXIT_CTLS, MSR_VMX_TRUE_EXIT_CTLS);
2470 entry = vmx_settable(basic, MSR_VMX_ENTRY_CTLS, MSR_VMX_TRUE_ENTRY_CTLS);
2474 if (exit & VM_EXIT_SAVE_PAT && exit & VM_EXIT_LOAD_PAT &&
2475 entry & VM_ENTRY_LOAD_PAT) {
2476 printf("%sPAT", comma ? "," : "");
2479 if (proc & PROCBASED_HLT_EXITING) {
2480 printf("%sHLT", comma ? "," : "");
2483 if (proc & PROCBASED_MTF) {
2484 printf("%sMTF", comma ? "," : "");
2487 if (proc & PROCBASED_PAUSE_EXITING) {
2488 printf("%sPAUSE", comma ? "," : "");
2491 if (proc2 & PROCBASED2_ENABLE_EPT) {
2492 printf("%sEPT", comma ? "," : "");
2495 if (proc2 & PROCBASED2_UNRESTRICTED_GUEST) {
2496 printf("%sUG", comma ? "," : "");
2499 if (proc2 & PROCBASED2_ENABLE_VPID) {
2500 printf("%sVPID", comma ? "," : "");
2503 if (proc & PROCBASED_USE_TPR_SHADOW &&
2504 proc2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES &&
2505 proc2 & PROCBASED2_VIRTUALIZE_X2APIC_MODE &&
2506 proc2 & PROCBASED2_APIC_REGISTER_VIRTUALIZATION &&
2507 proc2 & PROCBASED2_VIRTUAL_INTERRUPT_DELIVERY) {
2508 printf("%sVID", comma ? "," : "");
2510 if (pin & PINBASED_POSTED_INTERRUPT)
2511 printf(",PostIntr");
2517 printf("Basic Features=0x%b", mask,
2519 "\02132PA" /* 32-bit physical addresses */
2520 "\022SMM" /* SMM dual-monitor */
2521 "\027INS/OUTS" /* VM-exit info for INS and OUTS */
2522 "\030TRUE" /* TRUE_CTLS MSRs */
2524 printf("\n Pin-Based Controls=0x%b", pin,
2526 "\001ExtINT" /* External-interrupt exiting */
2527 "\004NMI" /* NMI exiting */
2528 "\006VNMI" /* Virtual NMIs */
2529 "\007PreTmr" /* Activate VMX-preemption timer */
2530 "\010PostIntr" /* Process posted interrupts */
2532 printf("\n Primary Processor Controls=0x%b", proc,
2534 "\003INTWIN" /* Interrupt-window exiting */
2535 "\004TSCOff" /* Use TSC offsetting */
2536 "\010HLT" /* HLT exiting */
2537 "\012INVLPG" /* INVLPG exiting */
2538 "\013MWAIT" /* MWAIT exiting */
2539 "\014RDPMC" /* RDPMC exiting */
2540 "\015RDTSC" /* RDTSC exiting */
2541 "\020CR3-LD" /* CR3-load exiting */
2542 "\021CR3-ST" /* CR3-store exiting */
2543 "\024CR8-LD" /* CR8-load exiting */
2544 "\025CR8-ST" /* CR8-store exiting */
2545 "\026TPR" /* Use TPR shadow */
2546 "\027NMIWIN" /* NMI-window exiting */
2547 "\030MOV-DR" /* MOV-DR exiting */
2548 "\031IO" /* Unconditional I/O exiting */
2549 "\032IOmap" /* Use I/O bitmaps */
2550 "\034MTF" /* Monitor trap flag */
2551 "\035MSRmap" /* Use MSR bitmaps */
2552 "\036MONITOR" /* MONITOR exiting */
2553 "\037PAUSE" /* PAUSE exiting */
2555 if (proc & PROCBASED_SECONDARY_CONTROLS)
2556 printf("\n Secondary Processor Controls=0x%b", proc2,
2558 "\001APIC" /* Virtualize APIC accesses */
2559 "\002EPT" /* Enable EPT */
2560 "\003DT" /* Descriptor-table exiting */
2561 "\004RDTSCP" /* Enable RDTSCP */
2562 "\005x2APIC" /* Virtualize x2APIC mode */
2563 "\006VPID" /* Enable VPID */
2564 "\007WBINVD" /* WBINVD exiting */
2565 "\010UG" /* Unrestricted guest */
2566 "\011APIC-reg" /* APIC-register virtualization */
2567 "\012VID" /* Virtual-interrupt delivery */
2568 "\013PAUSE-loop" /* PAUSE-loop exiting */
2569 "\014RDRAND" /* RDRAND exiting */
2570 "\015INVPCID" /* Enable INVPCID */
2571 "\016VMFUNC" /* Enable VM functions */
2572 "\017VMCS" /* VMCS shadowing */
2573 "\020EPT#VE" /* EPT-violation #VE */
2574 "\021XSAVES" /* Enable XSAVES/XRSTORS */
2576 printf("\n Exit Controls=0x%b", mask,
2578 "\003DR" /* Save debug controls */
2579 /* Ignore Host address-space size */
2580 "\015PERF" /* Load MSR_PERF_GLOBAL_CTRL */
2581 "\020AckInt" /* Acknowledge interrupt on exit */
2582 "\023PAT-SV" /* Save MSR_PAT */
2583 "\024PAT-LD" /* Load MSR_PAT */
2584 "\025EFER-SV" /* Save MSR_EFER */
2585 "\026EFER-LD" /* Load MSR_EFER */
2586 "\027PTMR-SV" /* Save VMX-preemption timer value */
2588 printf("\n Entry Controls=0x%b", mask,
2590 "\003DR" /* Save debug controls */
2591 /* Ignore IA-32e mode guest */
2592 /* Ignore Entry to SMM */
2593 /* Ignore Deactivate dual-monitor treatment */
2594 "\016PERF" /* Load MSR_PERF_GLOBAL_CTRL */
2595 "\017PAT" /* Load MSR_PAT */
2596 "\020EFER" /* Load MSR_EFER */
2598 if (proc & PROCBASED_SECONDARY_CONTROLS &&
2599 (proc2 & (PROCBASED2_ENABLE_EPT | PROCBASED2_ENABLE_VPID)) != 0) {
2600 msr = rdmsr(MSR_VMX_EPT_VPID_CAP);
2602 printf("\n EPT Features=0x%b", mask,
2604 "\001XO" /* Execute-only translations */
2605 "\007PW4" /* Page-walk length of 4 */
2606 "\011UC" /* EPT paging-structure mem can be UC */
2607 "\017WB" /* EPT paging-structure mem can be WB */
2608 "\0212M" /* EPT PDE can map a 2-Mbyte page */
2609 "\0221G" /* EPT PDPTE can map a 1-Gbyte page */
2610 "\025INVEPT" /* INVEPT is supported */
2611 "\026AD" /* Accessed and dirty flags for EPT */
2612 "\032single" /* INVEPT single-context type */
2613 "\033all" /* INVEPT all-context type */
2616 printf("\n VPID Features=0x%b", mask,
2618 "\001INVVPID" /* INVVPID is supported */
2619 "\011individual" /* INVVPID individual-address type */
2620 "\012single" /* INVVPID single-context type */
2621 "\013all" /* INVVPID all-context type */
2622 /* INVVPID single-context-retaining-globals type */
2623 "\014single-globals"
2629 print_hypervisor_info(void)
2632 if (*hv_vendor != '\0')
2633 printf("Hypervisor: Origin = \"%s\"\n", hv_vendor);
2637 * Returns the maximum physical address that can be used with the
2641 cpu_getmaxphyaddr(void)
2644 #if defined(__i386__)
2646 return (0xffffffff);
2648 return ((1ULL << cpu_maxphyaddr) - 1);