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