projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
clarify use of timer_sleep or acceptable alternatives for implementing
[pintos-anon]
/
src
/
devices
/
vga.c
diff --git
a/src/devices/vga.c
b/src/devices/vga.c
index 8ab08f6fa821649799d982bda991625847164500..949dd975eaec8da2ae0e34551b7ca23765a14792 100644
(file)
--- a/
src/devices/vga.c
+++ b/
src/devices/vga.c
@@
-4,8
+4,8
@@
#include <stddef.h>
#include <string.h>
#include "threads/io.h"
-#include "threads/mmu.h"
#include "threads/interrupt.h"
+#include "threads/vaddr.h"
/* VGA text screen support. See [FREEVGA] for more information. */