riot_sys

Constant GPIO_LATCH_PIN12_Latched

Source
pub const GPIO_LATCH_PIN12_Latched: u32 = 1;