diff --git a/executer/kernel/mcctrl/syscall.c b/executer/kernel/mcctrl/syscall.c index e0f7bbd1..3079d548 100644 --- a/executer/kernel/mcctrl/syscall.c +++ b/executer/kernel/mcctrl/syscall.c @@ -828,6 +828,9 @@ void pager_remove_process(struct mcctrl_per_proc_data *ppd) kfree(pager); } + /* Flush page hash as well */ + rus_page_hash_put_pages(); + out: up(&pager_sem); }