taglinefilesource code
fdc_busy280drivers/block/floppy.cstatic volatile int format_status = FORMAT_NONE, fdc_busy = 0;
fdc_busy1126drivers/block/floppy.cif (!fdc_busy)
fdc_busy1128drivers/block/floppy.cfdc_busy = 0;
fdc_busy1220drivers/block/floppy.cwhile (fdc_busy) sleep_on(&fdc_wait);
fdc_busy1221drivers/block/floppy.cfdc_busy = 1;
fdc_busy1277drivers/block/floppy.cif (fdc_busy) sleep_on(&fdc_wait);
fdc_busy1279drivers/block/floppy.cfdc_busy = 1;
fdc_busy1322drivers/block/floppy.cwhile (fdc_busy) sleep_on(&fdc_wait);
fdc_busy1323drivers/block/floppy.cfdc_busy = 1;
fdc_busy1333drivers/block/floppy.cfdc_busy = 0;