[−][src]Constant rpi_pico_sdk_sys::PICO_DEBUG_PIN_COUNT

pub const PICO_DEBUG_PIN_COUNT: u32 = 3;