From 43f4bb3e78bce656d5336c0259a4d8b936e4ff09 Mon Sep 17 00:00:00 2001 From: NAKAMURA Gou Date: Mon, 8 Jul 2013 20:08:24 +0900 Subject: [PATCH] free_process_memory(): support demand paging --- kernel/process.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/kernel/process.c b/kernel/process.c index 82418060..8a4110d7 100644 --- a/kernel/process.c +++ b/kernel/process.c @@ -521,9 +521,8 @@ void free_process_memory(struct process *proc) list_for_each_entry_safe(range, next, &vm->vm_range_list, list) { - if (!(range->flag & VR_REMOTE) && - !(range->flag & VR_IO_NOCACHE) && - !(range->flag & VR_RESERVED)) { + if (!(range->flag & (VR_REMOTE | VR_IO_NOCACHE | VR_RESERVED + | VR_DEMAND_PAGING))) { ihk_mc_free_pages(phys_to_virt(range->phys), (range->end - range->start) >> PAGE_SHIFT);