Lines Matching defs:itimer_lock_held
176 * itimer_lock_held:
182 itimer_lock_held(void)
691 KASSERT(itimer_lock_held());
724 KASSERT(itimer_lock_held());
756 KASSERT(itimer_lock_held());
784 KASSERT(itimer_lock_held());
906 KASSERT(itimer_lock_held());
980 KASSERT(itimer_lock_held());
1041 KASSERT(itimer_lock_held());
1175 KASSERT(itimer_lock_held());