Constant riot_sys::GPIO_LATCH_PIN12_Latched

pub const GPIO_LATCH_PIN12_Latched: u32 = 1;