taglinefilesource code
fdc_busy225drivers/block/floppy.cstatic volatile int format_status = FORMAT_NONE, fdc_busy = 0;
fdc_busy1004drivers/block/floppy.cif (!fdc_busy)
fdc_busy1006drivers/block/floppy.cfdc_busy = 0;
fdc_busy1099drivers/block/floppy.cwhile (fdc_busy) sleep_on(&fdc_wait);
fdc_busy1100drivers/block/floppy.cfdc_busy = 1;
fdc_busy1156drivers/block/floppy.cif (fdc_busy) sleep_on(&fdc_wait);
fdc_busy1158drivers/block/floppy.cfdc_busy = 1;
fdc_busy1201drivers/block/floppy.cwhile (fdc_busy) sleep_on(&fdc_wait);
fdc_busy1202drivers/block/floppy.cfdc_busy = 1;
fdc_busy1212drivers/block/floppy.cfdc_busy = 0;