NHILD
for (id = sc->sc_maxdev + 1; id < NHILD; id++) {
device_t sc_devices[NHILD]; /* interrupt dispatcher */