diff options
Diffstat (limited to 'extras/mini-os/sched.c')
| -rw-r--r-- | extras/mini-os/sched.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c index 0b613e64d4..f5f47783c7 100644 --- a/extras/mini-os/sched.c +++ b/extras/mini-os/sched.c @@ -139,7 +139,7 @@ void schedule(void) if(thread != prev) { list_del(&thread->thread_list); - free_pages(thread->stack, 1); + free_pages(thread->stack, STACK_SIZE_PAGE_ORDER); xfree(thread); } } |