3 #include <sys/kernel.h>
5 #include <sys/sysctl.h>
7 #include <machine/cpufunc.h>
8 #include <machine/cputypes.h>
9 #include <machine/md_var.h>
10 #include <machine/specialreg.h>
17 acpi_cpu_md_features(void)
19 if (cpu_vendor_id == CPU_VENDOR_INTEL) {
26 kprintf("Turbo mode enabled in BIOS\n");
30 if (cpu_feature2 & CPUID2_EST) {
31 return (ACPI_PDC_PX_MSR |
32 ACPI_PDC_MP_PX_SWCOORD |