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