// System Timer is only clocked by XTAL divided by 2 or 2.5 (or RC_FAST_CLK which is not supported
// yet). Some XTAL options (most, in fact) divided by this value may not be an integer multiple of
// 1_000_000. Because the timer API works with microseconds, we need to correct for this. To avoid
// - If these flags are 0b01, we multiply by a constant before dividing by the divisor to improve
static mut ESP_HAL_SYSTIMER_CORRECTION: NonZeroU32 = NonZeroU32::new(SHIFT_TIMESTAMP_FLAG).unwrap(); // Shift-by-0 = no-op