devfs_find_device_by_name
while (devfs_find_device_by_name("input/event%d", unit) != NULL) {
dev = devfs_find_device_by_name("ttyd%s",
return devfs_find_device_by_name("%s", devname);
(ndev = devfs_find_device_by_name("%s%c",
(ndev = devfs_find_device_by_name("%s", name_buf))) {
rdev = devfs_find_device_by_name("%s", name);
dev = devfs_find_device_by_name("%s%d", TAP, unit);
dev = devfs_find_device_by_name("%s%d", TUN, unit);
cdev_t devfs_find_device_by_name(const char *, ...) __printf0like(1, 2);