jruoho 20f20f38b9 Be more intelligent; read the MSR_CMPHALT with rdmsr_safe() and set the ... C1E-flag based on this. Pointed out by jmcneill@.		2011-09-24 11:17:25 +00:00
..
acpi	Be more intelligent; read the MSR_CMPHALT with rdmsr_safe() and set the	2011-09-24 11:17:25 +00:00
conf	Add pci_ranges.c to the set of files compiled when 'pci' is configured.	2011-08-29 22:46:56 +00:00
include	Import rdmsr_safe(msr, *value) for x86 world. It allows reading MSRs	2011-09-24 10:32:52 +00:00
isa	Add bus_dma overrides. From dyoung	2011-09-01 15:10:31 +00:00
pci	Clean up a bit: delete #if 1 and its corresponding #endif.	2011-09-13 18:09:52 +00:00
x86	Use rdmsr_safe() when reading IA32_TEMPERATURE_TARGET.	2011-09-24 10:52:56 +00:00