Use the name given to the dev_t, rather than creating our own.
This makes it possible to give sensible information for /dev/fd.720
and similar "special" devices.
Description
Description
Details
Details
- Provenance
phk Authored on May 25 2001, 9:06 AM - Parents
- rG925db41fa566: update to include the latest modifications to isdn4bsd.
- Branches
- Unknown
- Tags