Index: firmware/include/sysincludes.h |
diff --git a/firmware/include/sysincludes.h b/firmware/include/sysincludes.h |
index 13c0914a84f4354d1732cdf596499d41246ba9c1..b98cae09ba4a9e0ddb18b810031e75339447e780 100644 |
--- a/firmware/include/sysincludes.h |
+++ b/firmware/include/sysincludes.h |
@@ -26,6 +26,10 @@ |
#include <memory.h> |
#endif |
+/* 64-bit operations, for platforms where they need to be function calls */ |
+#define UINT64_RSHIFT(v, shiftby) (((uint64_t)(v)) >> (shiftby)) |
+#define UINT64_MULT32(v, multby) (((uint64_t)(v)) * ((uint32_t)(multby))) |
+ |
#else |
#include "stub/biosincludes.h" |
#endif |