tag	line	file	source code
debugtimer	534	drivers/block/floppy.c	long unsigned debugtimer;
debugtimer	544	drivers/block/floppy.c	debugtimer = jiffies;
debugtimer	552	drivers/block/floppy.c	printk("%s dtime=%lu\n", message, jiffies-debugtimer );