On Sat, Dec 27, 2003 at 07:36:02PM -0500, Christos Zoulas wrote:
> --- tcic2.c.orig	2003-11-05 20:24:22.000000000 -0500
> +++ tcic2.c	2003-12-27 19:34:48.000000000 -0500
> @@ -1210,9 +1210,10 @@
> -	printf(" port 0x%lx", (u_long) ioaddr);
> +	printf("%s: port 0x%lx", h->sc->dev.dv_xname, (u_long) ioaddr);
...

Drivers really should be using aprint_*() instead of printf() for
device attachment messages.

-allen

-- 
 Allen Briggs                     briggs@wasabisystems.com
 Wasabi Systems, Inc.             http://www.wasabisystems.com/