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