diff options
Diffstat (limited to 'sys/kern/subr_trap.c')
-rw-r--r-- | sys/kern/subr_trap.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/kern/subr_trap.c b/sys/kern/subr_trap.c index 4574aad..a484ad7 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 } /* |