old_fdc          4875 drivers/block/floppy.c 	int old_fdc;
old_fdc          4916 drivers/block/floppy.c 	old_fdc = fdc;
old_fdc          4920 drivers/block/floppy.c 	fdc = old_fdc;