INTC_MASK_REG
#define INTC_MASK_REG(n) (0x50 + ((n) * 4))
#define INTC_MASK_REG ((volatile uint32_t *)0xbe000008)