_kernel_lock_held
if (!_kernel_lock_held()) {
if (_kernel_lock_held())
KASSERT(ident == &nowake || nsecs != INFSLP || _kernel_lock_held());
if (_kernel_lock_held()) {
if (_kernel_lock_held()) {
if (_kernel_lock_held())
if (_kernel_lock_held())
int _kernel_lock_held(void);
#define KERNEL_ASSERT_LOCKED() KASSERT(_kernel_lock_held())
#define KERNEL_ASSERT_UNLOCKED() KASSERT(panicstr || db_active || !_kernel_lock_held())