bouyer b7050e7fd4 Some CPU have cpu counter (CPUID_TSC is there) but don't handle the ... rdmsr instruction (CPUID_MSR is not there). Introduce a cpu_counter_serializing() function to remplace rdmsr(MSR_TSC) calls, which does a rdmsr(MSR_TSC) if available and cpu_counter() otherwise. This makes the cpu counter useable on vortex86 CPUs. OK ad@		2011-02-02 12:26:42 +00:00
..
acpi	Add a comment.	2011-01-13 03:45:38 +00:00
conf	Merge a driver for ACPI CPUs with basic support for processor power states,	2010-07-18 09:29:11 +00:00
include	Some CPU have cpu counter (CPUID_TSC is there) but don't handle the	2011-02-02 12:26:42 +00:00
isa	isa_detach_hook() needs two arguments, the first an isa_chipset_tag_t.	2009-08-19 15:04:27 +00:00
pci	Move counting of faults, traps, intrs, soft[intr]s, syscalls, and nswtch	2010-12-20 00:25:23 +00:00
x86	Some CPU have cpu counter (CPUID_TSC is there) but don't handle the	2011-02-02 12:26:42 +00:00