TIMER_ALARM3_BITS

rpi_pico_sdk

Constant TIMER_ALARM3_BITS 

Source 
pub const TIMER_ALARM3_BITS: u32 = 4294967295;