diff options
author | Richard Braun <rbraun@sceen.net> | 2017-10-04 21:32:26 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-10-04 21:32:26 +0200 |
commit | a4f9c594045c699423141ce33d593fd62575f5dc (patch) | |
tree | a5ca21b08a5a422ee4d5f61016a6a15f271f3a21 /vm/vm_page.c | |
parent | 018056de4fc2c971befea7deeaa93c85cd6181b6 (diff) |
Fix some header inclusions
Diffstat (limited to 'vm/vm_page.c')
-rw-r--r-- | vm/vm_page.c | 2 |
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> |