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