pub fn get_timer_ticks_per_second() -> u32
Returns the resolution of the timebase clock in ticks per second.
Guaranteed to be at least 1 MHz (1 µs per tick).