[coreboot-gerrit] Patch set updated for coreboot: b116892 src/arch/*/include/stdint.h: Provide definitions for bool type . Although bool normally belongs in stdbool.h, for our use cases, providing these definitions in stdint.h is acceptable.

[Alexandru Gagniuc]

Alexandru Gagniuc ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/8279

-gerrit

commit b11689277f3ce6fa6c564893571405d088708a9b
Author: Alexandru Gagniuc 
Date:   Sun Jan 25 20:46:55 2015 -0600

src/arch/*/include/stdint.h: Provide definitions for bool type
    .
    Although bool normally belongs in stdbool.h, for our use cases,
    providing these definitions in stdint.h is acceptable.

Change-Id: I1d0ca1018efacc27d7a4a72aa452912e004401f9
    Signed-off-by: Alexandru Gagniuc 
---
 src/arch/arm/include/stdint.h   | 4 ++++
 src/arch/arm64/include/stdint.h | 3 +++
 src/arch/riscv/include/stdint.h | 3 +++
 src/arch/x86/include/stdint.h   | 3 +++
 4 files changed, 13 insertions(+)

diff --git a/src/arch/arm/include/stdint.h b/src/arch/arm/include/stdint.h
index 9d41e63..c50e664 100644
--- a/src/arch/arm/include/stdint.h
+++ b/src/arch/arm/include/stdint.h
@@ -75,6 +75,10 @@ typedef int8_t s8;
 typedef int16_t s16;
 typedef int32_t s32;

+typedef uint8_t bool;
+#define true	1
+#define false	0
+
 #ifndef UINT32_MAX
 #define UINT32_MAX (4294967295U)
 #endif
diff --git a/src/arch/arm64/include/stdint.h b/src/arch/arm64/include/stdint.h
index 2907d8e..38c2e1e 100644
--- a/src/arch/arm64/include/stdint.h
+++ b/src/arch/arm64/include/stdint.h
@@ -52,6 +52,9 @@ typedef int16_t s16;
 typedef int32_t s32;
 typedef int64_t s64;

+typedef uint8_t bool;
+#define true	1
+#define false	0

/* Types for `void *' pointers.  */
 typedef s64             intptr_t;
diff --git a/src/arch/riscv/include/stdint.h b/src/arch/riscv/include/stdint.h
index a14d053..24562cd 100644
--- a/src/arch/riscv/include/stdint.h
+++ b/src/arch/riscv/include/stdint.h
@@ -52,6 +52,9 @@ typedef int16_t s16;
 typedef int32_t s32;
 typedef int64_t s64;

+typedef uint8_t bool;
+#define true	1
+#define false	0

/* Types for `void *' pointers.  */
 typedef s64             intptr_t;
diff --git a/src/arch/x86/include/stdint.h b/src/arch/x86/include/stdint.h
index c491f4b..e8453ab 100644
--- a/src/arch/x86/include/stdint.h
+++ b/src/arch/x86/include/stdint.h
@@ -75,6 +75,9 @@ typedef int8_t s8;
 typedef int16_t s16;
 typedef int32_t s32;

+typedef uint8_t bool;
+#define true	1
+#define false	0

#ifndef UINT32_MAX
 #define UINT32_MAX (4294967295U)