[−][src]Constant rpi_pico_sdk_sys::TIMER_PAUSE_BITS

pub const TIMER_PAUSE_BITS: u32 = 1;