Index: firmware/arch/arm/include/biosincludes.h |
diff --git a/firmware/arch/arm/include/biosincludes.h b/firmware/arch/arm/include/biosincludes.h |
index b7feacb1169ce565dc3fc5f2ba190f729ab44631..2c08deed134170f046da9ca4ee7289425138c8b3 100644 |
--- a/firmware/arch/arm/include/biosincludes.h |
+++ b/firmware/arch/arm/include/biosincludes.h |
@@ -34,6 +34,10 @@ extern void debug(const char *format, ...); |
#define UINT64_RSHIFT(v, shiftby) (((uint64_t)(v)) >> (shiftby)) |
#define UINT64_MULT32(v, multby) (((uint64_t)(v)) * ((uint32_t)(multby))) |
+#ifndef UINT32_MAX |
+#define UINT32_MAX (UINT32_C(0xffffffffU)) |
+#endif |
+ |
#ifndef UINT64_MAX |
#define UINT64_MAX (UINT64_C(0xffffffffffffffffULL)) |
#endif |