K 10
svn:author
V 7
glebius
K 8
svn:date
V 27
2015-05-29T14:35:16.632529Z
K 7
svn:log
V 68
Use device_printf() instead of if_printf().  No functional changes.

END