taglinefilesource code
lastredo561drivers/block/floppy.cstatic int lastredo=0;
lastredo1691drivers/block/floppy.cprintk("last redo_fd_request at %d\n", lastredo);
lastredo2594drivers/block/floppy.clastredo = jiffies;