diff --git a/doc/src/sgml/pgtesttiming.sgml b/doc/src/sgml/pgtesttiming.sgml
new file mode 100644
index 45ee80c..a2581d2
*** a/doc/src/sgml/pgtesttiming.sgml
--- b/doc/src/sgml/pgtesttiming.sgml
*************** Histogram of timing durations:
*** 183,190 ****
     information about the timer selected during boot:
  
  <screen>
! dmesg | grep "Timecounter"
! sysctl kern.timecounter.hardware=TSC
  </screen>
    </para>
  
--- 183,195 ----
     information about the timer selected during boot:
  
  <screen>
! # dmesg | grep "Timecounter"
! Timecounter "ACPI-fast" frequency 3579545 Hz quality 900
! Timecounter "i8254" frequency 1193182 Hz quality 0
! Timecounters tick every 10.000 msec
! Timecounter "TSC" frequency 2531787134 Hz quality 800
! # sysctl kern.timecounter.hardware=TSC
! kern.timecounter.hardware: ACPI-fast -> TSC
  </screen>
    </para>
  
*************** Histogram of timing durations:
*** 277,283 ****
    </para>
  
    <para>
!    Timers used on older PC hardware including the 8254 Programmable Interval
     Timer (PIT), the real-time clock (RTC), the Advanced Programmable Interrupt
     Controller (APIC) timer, and the Cyclone timer.  These timers aim for
     millisecond resolution.
--- 282,288 ----
    </para>
  
    <para>
!    Timers used on older PC hardware include the 8254 Programmable Interval
     Timer (PIT), the real-time clock (RTC), the Advanced Programmable Interrupt
     Controller (APIC) timer, and the Cyclone timer.  These timers aim for
     millisecond resolution.