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