>Number:         10166
>Category:       kern
>Synopsis:       bktr driver device instance name lossage
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun May 21 05:19:00 PDT 2000
>Closed-Date:
>Last-Modified:
>Originator:     Klaus Klein
>Release:        today
>Organization:
dis-
>Environment:
n/a

>Description:
	When printing a device instance name, the bktr driver uses
	a printf format like '"bktr%d", unit'.  The canonical way to do
	this is using the external name, as can be found in
	bktr_softc.bktr_dev.dv_xname.

>How-To-Repeat:
	Read the code.

>Fix:
	As described above.
>Release-Note:
>Audit-Trail:
>Unformatted: