tag	line	file	source code
DISK_RECOVERY_TIME	166	drivers/block/ide.c	#ifndef DISK_RECOVERY_TIME    /* off=0; on=access_delay_time */
DISK_RECOVERY_TIME	414	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1176	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1177	drivers/block/ide.c	while ((read_timer() - ide_lastreq[HWIF]) < DISK_RECOVERY_TIME);