Chris Johns deb26068f0 machine/timecounters: Add missing _Timecounter_ decls ...

Add:

 - _Timecounter_Getboottime
 - _Timecounter_Getboottimebin

Closes #5211

2025-05-08 22:37:32 +00:00

..

_kernel_cpuset.h

…

_kernel_in6.h

…

_kernel_in.h

…

_kernel_mman.h

…

_kernel_param.h

…

_kernel_time.h

…

_kernel_types.h

…

_kernel_uio.h

…

_timecounter.h

…