tag	line	file	source code
do_pcxe_bh	129	drivers/char/pcxx.c	static void do_pcxe_bh(void);
do_pcxe_bh	1011	drivers/char/pcxx.c	init_bh(DIGI_BH,do_pcxe_bh);