Constant GPIO_INT_LEVEL_HIGH

pub const GPIO_INT_LEVEL_HIGH: u32 = 71303168;