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