[][src]Constant rpi_pico_sdk_sys::PADS_BANK0_GPIO12_OD_RESET

pub const PADS_BANK0_GPIO12_OD_RESET: u32 = 0;