diff --git a/sys/kern/subr_trap.c b/sys/kern/subr_trap.c index 4574aad5e098..a484ad78085b 100644 --- a/sys/kern/subr_trap.c +++ b/sys/kern/subr_trap.c @@ -133,8 +133,11 @@ userret(td, frame, oticks) * Let the scheduler adjust our priority etc. */ sched_userret(td); +#if 0 + /* This is not presently working. */ KASSERT(td->td_locks == 0, ("userret: Returning with %d locks held.", td->td_locks)); +#endif } /*