U64_HI
#define U64_HI(addr) ((uint32_t)(((uint64_t)(addr)) >> 32))
#define U64_HI(addr) (0)
#define U64_HI(val) ((u32)(((u64)(val)) >> 32))
