diff options
Diffstat (limited to 'src/cpu/x86')
| -rw-r--r-- | src/cpu/x86/mp_init.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/cpu/x86/mp_init.c b/src/cpu/x86/mp_init.c index 497ed3cfc5..1061f81c8a 100644 --- a/src/cpu/x86/mp_init.c +++ b/src/cpu/x86/mp_init.c @@ -1,8 +1,6 @@ /* SPDX-License-Identifier: GPL-2.0-only */ #include <console/console.h> -#include <stddef.h> -#include <stdint.h> #include <string.h> #include <rmodule.h> #include <arch/cpu.h> @@ -25,6 +23,7 @@ #include <symbols.h> #include <timer.h> #include <thread.h> +#include <types.h> #include <security/intel/stm/SmmStm.h> |