Symbol: port_to_dev