Brooks Davis c10b63ba8d Use if_printf() instead of printf() to print "sbni#: blah".		2002-10-01 00:55:22 +00:00
..
if_sbni_isa.c
if_sbni_pci.c
if_sbni.c
if_sbnireg.h
if_sbnivar.h