Symbol: determine_dev_size