Symbol: MMU_RANGE_INV_VA_MSB_SHIFT