Index: firmware/arch/arm/include/biosincludes.h |
diff --git a/firmware/arch/arm/include/biosincludes.h b/firmware/arch/arm/include/biosincludes.h |
index 2c08deed134170f046da9ca4ee7289425138c8b3..84778e3a316b4ef47a94f6e61d8d4ca0caecb892 100644 |
--- a/firmware/arch/arm/include/biosincludes.h |
+++ b/firmware/arch/arm/include/biosincludes.h |
@@ -19,6 +19,7 @@ typedef unsigned int size_t; |
#define NULL ((void*) 0) |
#endif |
+#define UINT32_C(x) ((uint32_t) x) |
#define UINT64_C(x) ((uint64_t) x) |
#define PRIu64 "llu" |
extern void debug(const char *format, ...); |