2 files changed, 2 insertions, 0 deletions
diff --git a/src/arch/x86/cpu.c b/src/arch/x86/cpu.c
index 8f8fdc1fd0..1ee8fb32c3 100644
--- a/src/arch/x86/cpu.c
+++ b/src/arch/x86/cpu.c
@@ -5,6 +5,7 @@
 #include <boot/coreboot_tables.h>
 #include <console/console.h>
 #include <cpu/cpu.h>
+#include <post.h>
 #include <string.h>
 #include <cpu/x86/mp.h>
 #include <cpu/x86/lapic.h>
diff --git a/src/arch/x86/post.c b/src/arch/x86/post.c
index 0aaf9b7190..ec185c791e 100644
--- a/src/arch/x86/post.c
+++ b/src/arch/x86/post.c
@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 /* This file is part of the coreboot project. */
 
+#include <post.h>
 #include <stdint.h>
 #include <console/console.h>
 #include <arch/io.h>