diff --git a/src/include/cpu/x86/tsc.h b/src/include/cpu/x86/tsc.h
index 66451ad711..7323599cce 100644
--- a/src/include/cpu/x86/tsc.h
+++ b/src/include/cpu/x86/tsc.h
@@ -1,6 +1,8 @@
 #ifndef CPU_X86_TSC_H
 #define CPU_X86_TSC_H
 
+#include <stdint.h>
+
 #if CONFIG_TSC_SYNC_MFENCE
 #define TSC_SYNC "mfence\n"
 #elif CONFIG_TSC_SYNC_LFENCE