taglinefilesource code
disk_change585drivers/block/floppy.cdisk_change(drive);
disk_change775drivers/block/floppy.cif ( disk_change(current_drive) ){
disk_change1285drivers/block/floppy.cdisk_change(current_drive) &&
disk_change1584drivers/block/floppy.cdisk_change(current_drive) &&
disk_change2632drivers/block/floppy.cif( disk_change(current_drive) )