From 9ad04c61e908e9587ebbc4a5b45b0f4d531ba02e Mon Sep 17 00:00:00 2001
From: Furquan Shaikh <furquan@google.com>
Date: Tue, 22 Jul 2014 10:51:43 -0700
Subject: [PATCH] coreboot arm64: Add int constants to stdint.h

BUG=None
BRANCH=None
TEST=Compiles successfully

Original-Change-Id: I395c9b7bbe34c6834abc1a169779639f940121bd
Original-Signed-off-by: Furquan Shaikh <furquan@google.com>
Original-Reviewed-on: https://chromium-review.googlesource.com/209334
Original-Tested-by: Furquan Shaikh <furquan@chromium.org>
Original-Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Original-Commit-Queue: Furquan Shaikh <furquan@chromium.org>
(cherry picked from commit da15df16464f4203db08fb02ad4c0a0f94d16724)
Signed-off-by: Marc Jones <marc.jones@se-eng.com>

Change-Id: I818de7cb0d8a44fb20c2bbea108c15ecc2b724ae
Reviewed-on: http://review.coreboot.org/8650
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
---
 src/arch/arm64/include/stdint.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/arch/arm64/include/stdint.h b/src/arch/arm64/include/stdint.h
index 38c2e1ee2f..113c0e7cc7 100644
--- a/src/arch/arm64/include/stdint.h
+++ b/src/arch/arm64/include/stdint.h
@@ -60,4 +60,14 @@ typedef uint8_t bool;
 typedef s64             intptr_t;
 typedef u64		uintptr_t;
 
+#ifndef UINT32_MAX
+#define UINT32_MAX (4294967295U)
+#endif
+#ifndef UINT64_MAX
+# define UINT64_MAX (18446744073709551615ULL)
+#endif
+#ifndef PRIu64
+#define PRIu64 "llu"
+#endif
+
 #endif /* ARM64_STDINT_H */