diff options
Diffstat (limited to 'vm/vm_page.c')
| -rw-r--r-- | vm/vm_page.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/vm/vm_page.c b/vm/vm_page.c index 138f028a..284964a4 100644 --- a/vm/vm_page.c +++ b/vm/vm_page.c @@ -32,6 +32,7 @@ #include <stdbool.h> #include <stddef.h> #include <stdint.h> +#include <stdio.h> #include <string.h> #include <kern/assert.h> @@ -41,8 +42,6 @@ #include <kern/mutex.h> #include <kern/panic.h> #include <kern/param.h> -#include <kern/printf.h> -#include <kern/sprintf.h> #include <kern/thread.h> #include <machine/cpu.h> #include <machine/pmap.h> |