[][src]Constant rpi_pico_sdk_sys::TIMER_ARMED_OFFSET

pub const TIMER_ARMED_OFFSET: u32 = 32;