pub const GPIO_PROCPU_NMI_INT: u32 = 67108863;