tlhscd@archeo:~ $ sysctl kern.timecounter
kern.timecounter.tick: 1
kern.timecounter.choice: TSC(1000) i8254(0) ACPI-safe(850) dummy(-1000000)
kern.timecounter.hardware: i8254
kern.timecounter.stepwarnings: 0
kern.timecounter.tc.ACPI-safe.mask: 16777215
kern.timecounter.tc.ACPI-safe.counter: 8359713
kern.timecounter.tc.ACPI-safe.frequency: 3579545
kern.timecounter.tc.ACPI-safe.quality: 850
kern.timecounter.tc.i8254.mask: 65535
kern.timecounter.tc.i8254.counter: 45602
kern.timecounter.tc.i8254.frequency: 1193182
kern.timecounter.tc.i8254.quality: 0
kern.timecounter.tc.TSC.mask: 4294967295
kern.timecounter.tc.TSC.counter: 2087620918
kern.timecounter.tc.TSC.frequency: 3241343582
kern.timecounter.tc.TSC.quality: 1000
kern.timecounter.smp_tsc: 0
kern.timecounter.invariant_tsc: 1