BNX_INFO_RECV    3758 dev/pci/if_bnx.c 	DBPRINT(sc, BNX_INFO_RECV, "%s(enter): sw_prod = 0x%04X, "
BNX_INFO_RECV    4029 dev/pci/if_bnx.c 	DBPRINT(sc, BNX_INFO_RECV, "%s(exit): rx_prod = 0x%04X, "