tag	line	file	source code
resched	87	drivers/isdn/isdn_tty.c	int resched = 0;
resched	125	drivers/isdn/isdn_tty.c	resched = 1;
resched	130	drivers/isdn/isdn_tty.c	if (!resched)