tag	line	file	source code
read_timer	98	drivers/block/hd.c	unsigned long read_timer(void)
read_timer	417	drivers/block/ide.c	static unsigned long read_timer(void)