[][src]Constant rpi_pico_sdk::PICO_TIME_DEFAULT_ALARM_POOL_DISABLED

pub const PICO_TIME_DEFAULT_ALARM_POOL_DISABLED: u32 = 0;