tag	line	file	source code
set_floppy	1603	drivers/block/floppy.c	set_floppy(device);
set_floppy	2185	drivers/block/floppy.c	set_floppy(device);
set_floppy	2449	drivers/block/floppy.c	set_floppy(device);