K 10
svn:author
V 5
billf
K 8
svn:date
V 27
1999-08-17T20:25:50.000000Z
K 7
svn:log
V 323
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

END