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