diff options
| -rw-r--r-- | src/cpu/x86/name/name.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cpu/x86/name/name.c b/src/cpu/x86/name/name.c index a7d2c706e3..bf62aef298 100644 --- a/src/cpu/x86/name/name.c +++ b/src/cpu/x86/name/name.c @@ -1,9 +1,9 @@ /* SPDX-License-Identifier: GPL-2.0-only */ -#include <string.h> #include <arch/cpu.h> -#include <device/device.h> #include <cpu/x86/name.h> +#include <stdint.h> +#include <string.h> void fill_processor_name(char *processor_name) { |