tag	line	file	source code
do_floppy	124	drivers/block/blk.h	#define DEVICE_INTR do_floppy
do_floppy	41	kernel/ksyms.c	extern void (*do_floppy)(void);
do_floppy	162	kernel/ksyms.c	X(do_floppy),