From 6f0531cc3ae840029d6d3cec85a70c85c7dd40a8 Mon Sep 17 00:00:00 2001
From: Elyes Haouas <ehaouas@noos.fr>
Date: Sun, 2 Oct 2022 12:10:20 +0200
Subject: [PATCH] arch/x86/timestamp.c: Add missing <stdint.h>

Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Change-Id: I6870fb9f3d41ef5dc6599e979ce0c890a1e145ab
Reviewed-on: https://review.coreboot.org/c/coreboot/+/68034
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
---
 src/arch/x86/timestamp.c | 1 +
 1 file changed, 1 insertion(+)

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)