K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2007-07-05T06:42:14.000000Z
K 7
svn:log
V 161
Prefer device_printf to printf("%s: ...", device_get_nameunit()).  On
amd64, we save about 240 bytes (this is about 20 per instance).

Approved by: re (blanket)

END