Constant GPIO_INT_MASK

Source
pub const GPIO_INT_MASK: u32 = 132120576;