pub const GPIO_PIN_INT_TYPE_MASK: u32 = 896;