AIC_READ
sc->sc_cpuid[cpuno] = AIC_READ(sc, AIC_WHOAMI);
const uint32_t ev = AIC_READ(sc, AIC_EVENT);
sc->sc_nirq = AIC_READ(sc, AIC_INFO) & AIC_INFO_NIRQ;