tag	line	file	source code
nr_serviced	264	drivers/net/8390.c	int interrupts, nr_serviced = 0;
nr_serviced	293	drivers/net/8390.c	&& ++nr_serviced < MAX_SERVICE) {
nr_serviced	330	drivers/net/8390.c	if (nr_serviced >= MAX_SERVICE) {