sysctl kern.eventtimer

kern.eventtimer.choice: XENTIMER(950) LAPIC(100) i8254(100) RTC(0)
kern.eventtimer.et.XENTIMER.quality: 950
kern.eventtimer.et.XENTIMER.frequency: 1000000000
kern.eventtimer.et.XENTIMER.flags: 6
kern.eventtimer.et.RTC.quality: 0
kern.eventtimer.et.RTC.frequency: 32768
kern.eventtimer.et.RTC.flags: 17
kern.eventtimer.et.i8254.quality: 100
kern.eventtimer.et.i8254.frequency: 1193182
kern.eventtimer.et.i8254.flags: 1
kern.eventtimer.et.LAPIC.quality: 100
kern.eventtimer.et.LAPIC.frequency: 0
kern.eventtimer.et.LAPIC.flags: 15
kern.eventtimer.periodic: 0
kern.eventtimer.timer: XENTIMER
kern.eventtimer.idletick: 0
kern.eventtimer.singlemul: 4