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