itimer_lock_held
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
KASSERT(itimer_lock_held());
bool itimer_lock_held(void); /* for diagnostic assertions only */