| #ifndef _U64_H__ |
| #define _U64_H__ |
| |
| MV_U64 U64_ADD_U32(MV_U64 v64, MV_U32 v32); |
| MV_U64 U64_SUBTRACT_U32(MV_U64 v64, MV_U32 v32); |
| MV_U64 U64_MULTIPLY_U32(MV_U64 v64, MV_U32 v32); |
| MV_U64 U64_DIVIDE_U32(MV_U64 v64, MV_U32 v32); |
| MV_I32 U64_COMPARE_U32(MV_U64 v64, MV_U32 v32); |
| MV_U32 U64_MOD_U32(MV_U64 v64, MV_U32 v32); |
| |
| MV_U64 U64_ADD_U64(MV_U64 v1, MV_U64 v2); |
| MV_U64 U64_SUBTRACT_U64(MV_U64 v1, MV_U64 v2); |
| MV_U32 U64_DIVIDE_U64(MV_U64 v1, MV_U64 v2); |
| MV_I32 U64_COMPARE_U64(MV_U64 v1, MV_U64 v2); |
| |
| #define U64_SET_VALUE(v64, v32) do { v64.value = v32; } while(0) |
| #define U64_SET_MAX_VALUE(v64) do { v64.parts.low = v64.parts.high = 0xFFFFFFFFL; } while(0); |
| #ifdef _OS_BIOS |
| MV_U64 ZeroU64(MV_U64 v1); |
| #endif |
| |
| #endif |
| |
