Symbol: devfs_prom_to_dev_name