bman_portal_isr
NULL, bman_portal_isr, sc, &sc->sc_base.sc_intr_cookie);
static void bman_portal_isr(void *arg);