[−][src]Constant rpi_pico_sdk_sys::PICO_STDOUT_MUTEX

pub const PICO_STDOUT_MUTEX: u32 = 1;