tag	line	file	source code
lastredo	572	drivers/block/floppy.c	static int lastredo=0;
lastredo	1731	drivers/block/floppy.c	printk("last redo_fd_request at %d\n", lastredo);
lastredo	2635	drivers/block/floppy.c	lastredo = jiffies;