taglinefilesource code
wait_til_done1789drivers/block/floppy.cCALL(okay=wait_til_done(redo_format,1));
wait_til_done2417drivers/block/floppy.cCALL(result=wait_til_done(reset_fdc,interruptible));
wait_til_done2508drivers/block/floppy.cCALL(ret=wait_til_done(floppy_start,1));
wait_til_done2979drivers/block/floppy.cwait_til_done(floppy_ready,0);