_KERNEL_LOCK_ASSERT
_KERNEL_LOCK_ASSERT(nlocks > 0);
_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
_KERNEL_LOCK_ASSERT(l->l_blcnt == 0);
_KERNEL_LOCK_ASSERT(nlocks < 2);
_KERNEL_LOCK_ASSERT(nlocks <= 0);
_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
_KERNEL_LOCK_ASSERT(olocks == 1);
_KERNEL_LOCK_ASSERT(ci->ci_biglock_count >= l->l_blcnt);