lock_held
taskqueue_run(struct taskqueue *queue, int lock_held)
if (lock_held == 0)
if (lock_held == 0)
static void taskqueue_run(struct taskqueue *queue, int lock_held);
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
static int lock_held(struct lock *);
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));
KKASSERT(lock_held(&lk));