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