K 10
svn:author
V 2
ed
K 8
svn:date
V 27
2009-04-15T20:43:12.400711Z
K 7
svn:log
V 260
Remove dead code from devtoname().

In the good old days it was possible to have dev_t's that referred to
nonexistent devices. In these cases devtoname() automatically generated
names. This is no longer possible, so remove this dead code.

Discussed with:	kib

END