@@ -183,8 +183,13 @@ Histogram of timing durations:
183183 information about the timer selected during boot:
184184
185185<screen>
186- dmesg | grep "Timecounter"
187- sysctl kern.timecounter.hardware=TSC
186+ # dmesg | grep "Timecounter"
187+ Timecounter "ACPI-fast" frequency 3579545 Hz quality 900
188+ Timecounter "i8254" frequency 1193182 Hz quality 0
189+ Timecounters tick every 10.000 msec
190+ Timecounter "TSC" frequency 2531787134 Hz quality 800
191+ # sysctl kern.timecounter.hardware=TSC
192+ kern.timecounter.hardware: ACPI-fast -> TSC
188193</screen>
189194 </para>
190195
@@ -277,7 +282,7 @@ Histogram of timing durations:
277282 </para>
278283
279284 <para>
280- Timers used on older PC hardwareincluding the 8254 Programmable Interval
285+ Timers used on older PC hardwareinclude the 8254 Programmable Interval
281286 Timer (PIT), the real-time clock (RTC), the Advanced Programmable Interrupt
282287 Controller (APIC) timer, and the Cyclone timer. These timers aim for
283288 millisecond resolution.