mark pages removed from page/mmap table as clear

1 files changed, 6 insertions, 2 deletions

diff --git a/vm/mmap.c b/vm/mmap.c
index 0dc9190..8620513 100644
--- a/vm/mmap.c
+++ b/vm/mmap.c
@@ -1,11 +1,11 @@
 #include <string.h>
-#include "userprog/pagedir.h"
-#include "userprog/process.h"
 #include "filesys/file.h"
 #include "threads/thread.h"
 #include "threads/vaddr.h"
 #include "threads/malloc.h"
 #include "threads/palloc.h"
+#include "userprog/pagedir.h"
+#include "userprog/process.h"
 #include "vm/mmap.h"
 #include "vm/page.h"
 
@@ -128,8 +128,12 @@ mmap_table_remove (struct mmap_table *table, mapid_t mapid)
           process_unlock_filesys ();
         }
 
+      /* free page and page table entry */
       if (pte != NULL)
+      {
+        pagedir_clear_page (thread->pagedir, pte->upage);
         free (pte);
+      }
 
       ofs += PGSIZE;
     }