diff --git a/kernel-src/sys/thread.c b/kernel-src/sys/thread.c index e1fee627..f3ca546e 100644 --- a/kernel-src/sys/thread.c +++ b/kernel-src/sys/thread.c @@ -96,8 +96,9 @@ __attribute__((noreturn)) void sched_threadexit() { proc_exit(); vmm_destroycontext(oldctx); - PROC_RELEASE(proc); } + + PROC_RELEASE(proc); } interrupt_set(false);