gic_d_read
typer = gic_d_read(sc, 4, GICD_TYPER);
sc->gic_pidr2 = gic_d_read(sc, 4, GICD_PIDR2);
(gic_d_read(sc, 4, GICD_TYPER) & GICD_TYPER_LPIS) != 0;
reg = gic_d_read(sc, 4, GICD_ICFGR(irq));