HIGH_32_BITS
#define HIGH_32_BITS(addr) (U32)((addr >> 32) & 0xffffffff)
#define HIGH_32_BITS(addr) 0