tag	line	file	source code
rx_pkt_count	384	drivers/net/8390.c	int rx_pkt_count = 0;
rx_pkt_count	388	drivers/net/8390.c	while (++rx_pkt_count < 10) {
rx_pkt_count	481	drivers/net/8390.c	if (rx_pkt_count > high_water_mark)
rx_pkt_count	482	drivers/net/8390.c	high_water_mark = rx_pkt_count;