tag	line	file	source code
do_ide0_request	1111	drivers/block/ide.c	static void do_ide0_request (void)  /* invoked with cli() */
do_ide0_request	1122	drivers/block/ide.c	static void do_ide0_request (void)  /* invoked with cli() */