diff --git a/src/arch/x86/timestamp.c b/src/arch/x86/timestamp.c
index 8ab10ed817..0a4c9c4ec9 100644
--- a/src/arch/x86/timestamp.c
+++ b/src/arch/x86/timestamp.c
@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <cpu/x86/tsc.h>
+#include <stdint.h>
 #include <timestamp.h>
 
 uint64_t timestamp_get(void)