gicd_read
targets = gicd_read(sc, GICD_ITARGETSRn(i));
const uint32_t targets = gicd_read(sc, targets_reg);
uint32_t targets = gicd_read(sc, targets_reg);
uint32_t targets = gicd_read(sc, targets_reg);
uint32_t cfg = gicd_read(sc, cfg_reg);
uint32_t priority = gicd_read(sc, priority_reg);
uint32_t priority = gicd_read(sc, priority_reg);
uint32_t targets = gicd_read(sc, targets_reg);
sc->sc_gic_type = gicd_read(sc, GICD_TYPER);
uint32_t valid = gicd_read(sc, GICD_ISENABLERn(group));