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-09 11:02:45 +00:00
1998-09-15 08:16:17 +00:00
1999-04-24 18:26:54 +00:00
1998-12-19 00:02:34 +00:00
1999-05-18 12:14:39 +00:00
1999-05-16 10:51:52 +00:00
1999-01-26 02:49:52 +00:00
1999-05-10 19:49:59 +00:00
1998-09-15 08:21:13 +00:00
1999-08-16 18:13:39 +00:00
1999-06-17 23:54:50 +00:00
1999-04-08 08:09:34 +00:00
1999-05-12 07:55:42 +00:00
1998-12-29 13:06:54 +00:00
1999-08-13 10:10:12 +00:00
1998-10-24 19:47:29 +00:00