The text af893f5d2f21, as FreeBSD 7.4-RELEASE shipped it.
various system timers
clocks(7) on FreeBSD now