Bill Fumerola b8e49f681b Welcome devtoname(), to most likely be used when printing information
about a dev_t.

printf("%x", dev) now becomes printf("%s", devtoname(dev)) because
printing actual information about the device is much more useful then
printing a pointer to an address that would never help the developer debug.

Submitted by:	phk, bde
1999-08-17 20:25:50 +00:00
..
1999-08-16 23:18:24 +00:00
1998-09-15 06:33:23 +00:00
1998-09-15 06:33:23 +00:00
1998-09-15 06:33:23 +00:00
1999-04-19 21:26:08 +00:00
1998-09-15 06:33:23 +00:00
1998-09-15 06:33:23 +00:00
1998-09-22 04:53:23 +00:00