The text f570dc41fe3b, as FreeBSD 12.1-RELEASE shipped it.
kernel time counters subsystem
timecounters(4) on FreeBSD now
