Symbol: MMU_RANGE_INV_VA_LSB_SHIFT