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-11 20:35:38 +00:00
1999-06-07 20:37:29 +00:00
1999-07-21 18:02:27 +00:00
1999-04-30 06:51:51 +00:00
1999-05-20 00:00:58 +00:00
1999-04-27 11:18:52 +00:00
1999-08-16 18:13:39 +00:00
1999-06-17 23:42:45 +00:00
1999-05-31 11:29:30 +00:00
1999-08-13 10:52:22 +00:00
1999-06-17 23:42:45 +00:00
1999-05-31 11:29:30 +00:00
1999-08-08 20:24:58 +00:00
1999-06-17 23:42:45 +00:00
1999-08-13 11:22:48 +00:00