[trem@chantry SRPMS]$ dmesg | grep -i time
Nvidia board detected. Ignoring ACPI timer override.
ACPI: PM-Timer IO Port: 0x4008
Real-Time Preemption Support (C) 2004-2006 Ingo Molnar
time.c: Detected 2009.814 MHz processor.
Calibrating delay using timer specific routine.. 4020.73 BogoMIPS (lpj=2010365)
Using local APIC timer interrupts.
Detected 12.561 MHz APIC timer.
PCI: Setting latency timer of device 0000:00:0e.0 to 64
Real Time Clock Driver v1.12ac
Time: tsc clocksource has been installed.
hrtimers: Switched to high resolution mode CPU 0
PCI: Setting latency timer of device 0000:00:09.0 to 64
PCI: Setting latency timer of device 0000:00:0a.0 to 64
PCI: Setting latency timer of device 0000:00:02.0 to 64
PCI: Setting latency timer of device 0000:00:02.1 to 64
PCI: Setting latency timer of device 0000:00:02.2 to 64
PCI: Setting latency timer of device 0000:00:06.0 to 64
PCI: Setting latency timer of device 0000:00:05.0 to 64