If Turbo Boost is enabled, the current CPU frequencies reported by
hw.acpi.cpu are not correct, sigh.
#include <sys/systm.h>
#include <sys/sysctl.h>
+#include <machine/cpufunc.h>
#include <machine/cputypes.h>
#include <machine/md_var.h>
#include <machine/specialreg.h>
acpi_cpu_md_features(void)
{
if (cpu_vendor_id == CPU_VENDOR_INTEL) {
+ uint32_t regs[4];
+ static int reported;
+
+ if (!reported) {
+ do_cpuid(0x6, regs);
+ if (regs[0] & 0x2)
+ kprintf("Turbo mode enabled in BIOS\n");
+ reported = 1;
+ }
+
if (cpu_feature2 & CPUID2_EST) {
return (ACPI_PDC_PX_MSR |
ACPI_PDC_MP_PX_SWCORD |
#include <sys/systm.h>
#include <sys/sysctl.h>
+#include <machine/cpufunc.h>
#include <machine/cputypes.h>
#include <machine/md_var.h>
#include <machine/specialreg.h>
acpi_cpu_md_features(void)
{
if (cpu_vendor_id == CPU_VENDOR_INTEL) {
+ uint32_t regs[4];
+ static int reported;
+
+ if (!reported) {
+ do_cpuid(0x6, regs);
+ if (regs[0] & 0x2)
+ kprintf("Turbo mode enabled in BIOS\n");
+ reported = 1;
+ }
+
if (cpu_feature2 & CPUID2_EST) {
return (ACPI_PDC_PX_MSR |
ACPI_PDC_MP_PX_SWCORD |