[−][src]Constant rpi_pico_sdk_sys::PICO_DEBUG_PIN_BASE

pub const PICO_DEBUG_PIN_BASE: u32 = 19;