diff options
| -rw-r--r-- | kern/thread.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/thread.c b/kern/thread.c index f6b442a..1548e14 100644 --- a/kern/thread.c +++ b/kern/thread.c @@ -699,7 +699,7 @@ void thread_deallocate( * Clean up any machine-dependent resources. */ if ((thread->state & TH_SWAPPED) == 0) { - spl_t _s_ = splsched(); + splsched(); stack_free(thread); (void) splx(s); thread_deallocate_stack++; |