GICD_ITARGETSRn
targets = gicd_read(sc, GICD_ITARGETSRn(i));
const bus_size_t targets_reg = GICD_ITARGETSRn(irq / 4);
const bus_size_t targets_reg = GICD_ITARGETSRn(irq / 4);
const bus_size_t targets_reg = GICD_ITARGETSRn(is->is_irq / 4);
const bus_size_t targets_reg = GICD_ITARGETSRn(irq / 4);
#define GICv1_ICDIPTRn(n) GICD_ITARGETSRn(n)