tag	line	file	source code
rx_pkt_count	414	drivers/net/8390.c	int rx_pkt_count = 0;
rx_pkt_count	418	drivers/net/8390.c	while (++rx_pkt_count < 10) {
rx_pkt_count	510	drivers/net/8390.c	if (rx_pkt_count > high_water_mark)
rx_pkt_count	511	drivers/net/8390.c	high_water_mark = rx_pkt_count;