summaryrefslogtreecommitdiff
path: root/vm/vm_page.c
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2017-10-04 21:32:26 +0200
committerRichard Braun <rbraun@sceen.net>2017-10-04 21:32:26 +0200
commita4f9c594045c699423141ce33d593fd62575f5dc (patch)
treea5ca21b08a5a422ee4d5f61016a6a15f271f3a21 /vm/vm_page.c
parent018056de4fc2c971befea7deeaa93c85cd6181b6 (diff)
Fix some header inclusions
Diffstat (limited to 'vm/vm_page.c')
-rw-r--r--vm/vm_page.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/vm/vm_page.c b/vm/vm_page.c
index 7f419b97..a3844662 100644
--- a/vm/vm_page.c
+++ b/vm/vm_page.c
@@ -34,6 +34,7 @@
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
+#include <stdio.h>
#include <string.h>
#include <kern/init.h>
@@ -42,6 +43,7 @@
#include <kern/macros.h>
#include <kern/mutex.h>
#include <kern/panic.h>
+#include <kern/printf.h>
#include <kern/shell.h>
#include <kern/thread.h>
#include <machine/boot.h>