#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