sys/platform/pc64/acpica5/acpi_cpu_machdep.c

   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/cputypes.h>
   8 #include <machine/md_var.h>
   9 #include <machine/specialreg.h>
  10
  11 #include "acpi.h"
  12 #include "acpivar.h"
  13 #include "acpi_cpu.h"
  14
  15 uint32_t
  16 acpi_cpu_md_features(void)
  17 {
  18         if (cpu_vendor_id == CPU_VENDOR_INTEL) {
  19                 if (cpu_feature2 & CPUID2_EST) {
  20                         return (ACPI_PDC_PX_MSR |
  21                             ACPI_PDC_MP_PX_SWCORD |
  22                             ACPI_PDC_PX_HWCORD);
  23                 }
  24         }
  25         return 0;
  26 }