diff options
Diffstat (limited to 'arch/x86/machine/boot.c')
| -rw-r--r-- | arch/x86/machine/boot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86/machine/boot.c b/arch/x86/machine/boot.c index e7879011..011a3191 100644 --- a/arch/x86/machine/boot.c +++ b/arch/x86/machine/boot.c @@ -45,6 +45,7 @@ #include <stdbool.h> #include <stddef.h> #include <stdint.h> +#include <stdio.h> #include <string.h> #include <kern/init.h> @@ -54,7 +55,6 @@ #include <kern/panic.h> #include <kern/param.h> #include <kern/percpu.h> -#include <kern/printf.h> #include <kern/sleepq.h> #include <kern/sref.h> #include <kern/syscnt.h> |