IRQ_TO_REG16
#define ICD_ICRn(i) (0xC00 + (IRQ_TO_REG16(i) * 4))
#define GICD_ICFGR(i) (0x0c00 + (IRQ_TO_REG16(i) * 4))
#define GICD_NSACR(i) (0x0e00 + (IRQ_TO_REG16(i) * 4))
#define ICD_ICRn(i) (0xC00 + (IRQ_TO_REG16(i) * 4))