DISP_LEVEL
ASSERT(getpil() >= DISP_LEVEL);
lock_set_spl(lp, ipltospl(DISP_LEVEL), &curthread->t_oldspl);
return ((void *)(uintptr_t)__ipltospl(DISP_LEVEL));
mutex_init(&reaplock, NULL, MUTEX_SPIN, (void *)ipltospl(DISP_LEVEL));
getpil() >= DISP_LEVEL) {
getpil() >= DISP_LEVEL);
getpil() >= DISP_LEVEL)
ASSERT(getpil() >= DISP_LEVEL);
printf("#define\tDISP_LEVEL 0x%x\n", DISP_LEVEL);
(void *)ipltospl(DISP_LEVEL));
(ddi_iblock_cookie_t)ipltospl(DISP_LEVEL));
if (getpil() >= DISP_LEVEL) {
(ddi_iblock_cookie_t)ipltospl(DISP_LEVEL));
ASSERT(curthread->t_preempt != 0 || getpil() >= DISP_LEVEL);
ASSERT(curthread->t_preempt != 0 || getpil() >= DISP_LEVEL);
ASSERT(curthread->t_preempt != 0 || getpil() >= DISP_LEVEL);
(void *)ipltospl(DISP_LEVEL));
dtrace_getipl() > DISP_LEVEL);
getpil()) >= DISP_LEVEL) {
ASSERT(curthread->t_preempt > 0 || getpil() >= DISP_LEVEL);
ASSERT(getpil() >= DISP_LEVEL);