diff options
Diffstat (limited to 'arch/x86/machine/boot.c')
| -rw-r--r-- | arch/x86/machine/boot.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arch/x86/machine/boot.c b/arch/x86/machine/boot.c index a3fd3146..2ab1c6d5 100644 --- a/arch/x86/machine/boot.c +++ b/arch/x86/machine/boot.c @@ -43,6 +43,9 @@ */ #include <stdbool.h> +#include <stddef.h> +#include <stdint.h> +#include <string.h> #include <kern/evcnt.h> #include <kern/init.h> @@ -54,9 +57,6 @@ #include <kern/percpu.h> #include <kern/printk.h> #include <kern/sref.h> -#include <kern/stddef.h> -#include <kern/stdint.h> -#include <kern/string.h> #include <kern/thread.h> #include <machine/biosmem.h> #include <machine/boot.h> |