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