1 #include <sys/param.h>
2 #include <sys/bus.h>
3 #include <sys/kernel.h>
4 #include <sys/systm.h>
5 #include <sys/sysctl.h>
6 
7 #include <machine/cpufunc.h>
8 #include <machine/cputypes.h>
9 #include <machine/md_var.h>
10 #include <machine/specialreg.h>
11 
12 #include "acpi.h"
13 #include "acpivar.h"
14 #include "acpi_cpu.h"
15 
16 uint32_t
17 acpi_cpu_md_features(void)
18 {
19 	if (cpu_vendor_id == CPU_VENDOR_INTEL) {
20 		uint32_t regs[4];
21 		static int reported;
22 
23 		if (!reported) {
24 			do_cpuid(0x6, regs);
25 			if (regs[0] & 0x2)
26 				kprintf("Turbo mode enabled in BIOS\n");
27 			reported = 1;
28 		}
29 
30 		if (cpu_feature2 & CPUID2_EST) {
31 			return (ACPI_PDC_PX_MSR |
32 			    ACPI_PDC_MP_PX_SWCOORD |
33 			    ACPI_PDC_PX_HWCOORD);
34 		}
35 	}
36 	return 0;
37 }
38