From da15df16464f4203db08fb02ad4c0a0f94d16724 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

Change-Id: I395c9b7bbe34c6834abc1a169779639f940121bd
Signed-off-by: Furquan Shaikh <furquan@google.com>
Reviewed-on: https://chromium-review.googlesource.com/209334
Tested-by: Furquan Shaikh <furquan@chromium.org>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Commit-Queue: Furquan Shaikh <furquan@chromium.org>
---
 src/arch/arm64/include/stdint.h | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/arch/arm64/include/stdint.h b/src/arch/arm64/include/stdint.h
index 2907d8eae6..6e7ee531f4 100644
--- a/src/arch/arm64/include/stdint.h
+++ b/src/arch/arm64/include/stdint.h
@@ -52,9 +52,18 @@ typedef int16_t s16;
 typedef int32_t s32;
 typedef int64_t s64;
 
-
 /* Types for `void *' pointers.  */
 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 */