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