The microtime(9) functions are in kern_tc.c, not kern_clock.c. ok?
Index: share/man/man9/microtime.9 =================================================================== RCS file: /cvs/src/share/man/man9/microtime.9,v retrieving revision 1.16 diff -u -p -r1.16 microtime.9 --- share/man/man9/microtime.9 3 Apr 2016 06:43:59 -0000 1.16 +++ share/man/man9/microtime.9 13 Jan 2019 19:25:52 -0000 @@ -109,7 +109,7 @@ be produced in the given format. .Sh CODE REFERENCES The implementation of these functions is partly machine dependent, but the bulk of the code is in the file -.Pa sys/kern/kern_clock.c . +.Pa sys/kern/kern_tc.c . .Sh SEE ALSO .Xr settimeofday 2 , .Xr hardclock 9 ,