SLI4_BMBX_MASK_HI
val = (upper_32_bits(addr) & SLI4_BMBX_MASK_HI) << 30;
val = upper_32_bits(addr) & ~SLI4_BMBX_MASK_HI;