tag	line	file	source code
rx_pkt_count	402	drivers/net/8390.c	int rx_pkt_count = 0;
rx_pkt_count	406	drivers/net/8390.c	while (++rx_pkt_count < 10) {
rx_pkt_count	500	drivers/net/8390.c	if (rx_pkt_count > high_water_mark)
rx_pkt_count	501	drivers/net/8390.c	high_water_mark = rx_pkt_count;