KERNEL_ASSERT_LOCKED
#define KERNEL_ASSERT_LOCKED() /* nothing */
#define KERNEL_ASSERT_LOCKED() KASSERT(_kernel_lock_held())