bcmstbintc_intr
bcmstbintc_intr, sc, sc->sc_dev.dv_xname);
sc->sc_ipl, bcmstbintc_intr, sc, sc->sc_dev.dv_xname);
int bcmstbintc_intr(void *);