Break GDT, TSS out of init.c, mmu.h.

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

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index dc6cb727f262df24b82685affe0078d0525270bf..519da93cc90ed302ddf5ab3ea684d5ff8f95e238 100644 (file)
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -3,6 +3,7 @@
 #include "debug.h"
 #include "file.h"
 #include "filesys.h"
+#include "gdt.h"
 #include "init.h"
 #include "lib.h"
 #include "mmu.h"