acpi/pstate: Support Integer _PSD
authorSepherosa Ziehau <sephe@dragonflybsd.org>
Tue, 31 May 2011 04:37:21 +0000 (12:37 +0800)
committerSepherosa Ziehau <sephe@dragonflybsd.org>
Tue, 31 May 2011 04:57:09 +0000 (12:57 +0800)
commit0cb292d17645467e09d461a3818b6bb28b7f1d8e
treed7217197b3ac63e0b6bfbfac820307416761d4ea
parentfa6eddaf897e8e6e8c3e344945b41bbebdb30f8e
acpi/pstate: Support Integer _PSD

Standard _PSD should be package, while some buggy BIOSes will use Integer
for _PSD, e.g. Gigbyte's GA-H67MA-UD2H-B3.

Following template is used for Integer _PSD, after I have fiddled
around with the hw.acpi.cpu sysctl tree a little bit:
- Coordination is set to software all
- The integer of _PSD is taken as the power domain number
- The number of CPUs in the power domain is updated when new CPU in that
  power domain is seen
sys/dev/acpica5/acpi_cpu_pstate.c