taglinefilesource code
do_ide0_request1225drivers/block/ide.cstatic void do_ide0_request (void)  /* invoked with cli() */
do_ide0_request1236drivers/block/ide.cstatic void do_ide0_request (void)  /* invoked with cli() */