Constant GPIO_OUTPUT_HIGH

Source
pub const GPIO_OUTPUT_HIGH: u32 = 655360;