tag	line	file	source code
do_softint	1004	drivers/char/cyclades.c	do_softint(void *private_)
do_softint	733	drivers/char/serial.c	static void do_softint(void *private_)