tag	line	file	source code
rx_pkt_count	387	drivers/net/8390.c	int rx_pkt_count = 0;
rx_pkt_count	391	drivers/net/8390.c	while (++rx_pkt_count < 10) {
rx_pkt_count	484	drivers/net/8390.c	if (rx_pkt_count > high_water_mark)
rx_pkt_count	485	drivers/net/8390.c	high_water_mark = rx_pkt_count;