Constant GPIO_OUTPUT_INIT_HIGH

pub const GPIO_OUTPUT_INIT_HIGH: u32 = 524288;