Move pagedir stuff into userprog.

[pintos-anon] / src / userprog / addrspace.c

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index 65c09e41e8be3f38885b2aeffd6fd93d2c28a094..f535badd1bac08e4fb07fee17ca49e3a05fddd5d 100644 (file)
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -4,12 +4,12 @@
 #include <round.h>
 #include <stdio.h>
 #include <string.h>
+#include "userprog/pagedir.h"
 #include "userprog/tss.h"
 #include "filesys/file.h"
 #include "filesys/filesys.h"
 #include "threads/init.h"
 #include "threads/mmu.h"
-#include "threads/paging.h"
 #include "threads/palloc.h"
 #include "threads/thread.h"