GICD_TYPER
gic_d_read_4(sc, GICD_CTLR), gic_d_read_4(sc, GICD_TYPER),
sc->typer = gic_d_read_4(sc, GICD_TYPER);
typer = gic_d_read(sc, 4, GICD_TYPER);
(gic_d_read(sc, 4, GICD_TYPER) & GICD_TYPER_LPIS) != 0;
VGIC_REGISTER(GICD_TYPER, 4, VGIC_32_BIT, dist_typer_read,