Symbol: devfs_dev_to_prom_name