taglinefilesource code
disk_change719drivers/block/floppy.cdisk_change(drive);
disk_change906drivers/block/floppy.cif (disk_change(current_drive)){
disk_change1449drivers/block/floppy.cdisk_change(current_drive) &&
disk_change1786drivers/block/floppy.cdisk_change(current_drive) &&
disk_change2811drivers/block/floppy.cif (disk_change(current_drive))