version 1.1.2.38, 2013/11/05 18:43:31 |
version 1.1.2.39, 2014/02/14 18:38:16 |
Line 1615 evbmips_iointr(int ipl, vaddr_t pc, uint |
|
Line 1615 evbmips_iointr(int ipl, vaddr_t pc, uint |
|
|
|
KASSERT(ipl == iv->iv_ipl); |
KASSERT(ipl == iv->iv_ipl); |
KASSERTMSG(curcpu()->ci_cpl >= ipl, |
KASSERTMSG(curcpu()->ci_cpl >= ipl, |
("%s: after %s: cpl (%d) < ipl %d", |
"%s: after %s: cpl (%d) < ipl %d", |
__func__, sc->sc_vec_evcnts[vec].ev_name, |
__func__, sc->sc_vec_evcnts[vec].ev_name, |
ipl, curcpu()->ci_cpl)); |
ipl, curcpu()->ci_cpl); |
} |
} |
} |
} |
} |
} |