U64_HI
#define U64_HI(x) ((u32_t)(((u64_t)(x)) >> 32))
#define U64_HI(val) ((u32)(((u64)(val)) >> 32))
