Looking through a dmesg from today I noticed that the LAPIC timer is being reported as running at 0 Hz: Event timer "LAPIC" frequency 0 Hz quality 500 But the correct frequency is still being used in the kernel: kern.eventtimer.et.LAPIC.frequency=67470437 -- Bruce Cran