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

 - _Timecounter_Getboottime
 - _Timecounter_Getboottimebin

Closes #5211
2025-05-08 22:37:32 +00:00
..
2023-05-20 11:05:26 +02:00
2023-05-20 11:05:26 +02:00
2023-05-20 11:05:26 +02:00
2023-05-20 11:05:26 +02:00
2023-05-20 11:05:26 +02:00