Constant riot_sys::GPIO_LATCH_PIN25_Latched

pub const GPIO_LATCH_PIN25_Latched: u32 = 1;