[−][src]Constant rpi_pico_sdk::PADS_BANK0_GPIO12_PDE_RESET

pub const PADS_BANK0_GPIO12_PDE_RESET: u32 = 1;