taglinefilesource code
disk_change720drivers/block/floppy.cdisk_change(drive);
disk_change907drivers/block/floppy.cif (disk_change(current_drive)){
disk_change1450drivers/block/floppy.cdisk_change(current_drive) &&
disk_change1787drivers/block/floppy.cdisk_change(current_drive) &&
disk_change2812drivers/block/floppy.cif (disk_change(current_drive))