From 854782330ccd3f92d1b09bd006ddf127ba188cba Mon Sep 17 00:00:00 2001
From: Elyes HAOUAS <ehaouas@noos.fr>
Date: Thu, 28 May 2020 17:29:45 +0200
Subject: src: Remove unused 'include <stdint.h>

Found using:
diff <(git grep -l '#include <stdint.h>' -- src/) <(git grep -l 'int8_t\|int16_t\|int32_t\|int64_t\|intptr_t\|intmax_t\|s8\|u8\|s16\|u16\|s32\|u32\|s64\|u64\|INT8_MIN\|INT8_MAX\|INT16_MIN\|INT16_MAX\|INT32_MIN\|INT32_MAX\|INT64_MIN\|INT64_MAX\|INTMAX_MIN\|INTMAX_MAX' -- src/) |grep -v vendorcode |grep '<'

Change-Id: I5e14bf4887c7d2644a64f4d58c6d8763eb74d2ed
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41827
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 src/arch/arm64/include/armv8/arch/cache.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/arch/arm64/include/armv8')

diff --git a/src/arch/arm64/include/armv8/arch/cache.h b/src/arch/arm64/include/armv8/arch/cache.h
index a78d03c610..bb9d6febec 100644
--- a/src/arch/arm64/include/armv8/arch/cache.h
+++ b/src/arch/arm64/include/armv8/arch/cache.h
@@ -11,7 +11,6 @@
 #ifndef __ASSEMBLER__
 
 #include <stddef.h>
-#include <stdint.h>
 #include <arch/barrier.h>
 
 /* dcache clean by virtual address to PoC */
-- 
cgit v1.2.3