GICD_IIDR_VAR
GICD_IIDR_PROD(icciidr), GICD_IIDR_VAR(icciidr),
KASSERT(GICD_IIDR_VAR(sc->gic_iidr) < 3,
GICD_IIDR_VAR(sc->gic_iidr), sc->gic_iidr));
*result = GICD_IIDR_VAR(sc->gic_iidr);