GICD_SETSPI_NSR
*addr = vtophys(rman_get_virtual(sc->gic_dist)) + GICD_SETSPI_NSR;
reg == GICD_SETSPI_NSR);
if (reg != GICD_SETSPI_NSR)
VGIC_REGISTER(GICD_SETSPI_NSR, 4, VGIC_32_BIT, gic_zero_read,