Symbol: adjust_dev_dax_range