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