TIMER_ALARM1_BITS

rpi_pico_sdk

Constant TIMER_ALARM1_BITS 

Source 
pub const TIMER_ALARM1_BITS: u32 = 4294967295;