projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix comment.
[pintos-anon]
/
src
/
userprog
/
gdt.c
diff --git
a/src/userprog/gdt.c
b/src/userprog/gdt.c
index 0e393ec6bf2800cbeebb9599e5a566adbc55aa62..bed5d582fc45daf8df0f9212d4ec1674327eda5c 100644
(file)
--- a/
src/userprog/gdt.c
+++ b/
src/userprog/gdt.c
@@
-1,8
+1,8
@@
#include "userprog/gdt.h"
#include <debug.h>
#include "userprog/tss.h"
-#include "threads/mmu.h"
#include "threads/palloc.h"
+#include "threads/vaddr.h"
/* The Global Descriptor Table (GDT).