tag	line	file	source code
DISK_RECOVERY_TIME	171	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1287	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1288	drivers/block/ide.c	while ((read_timer() - hwif->last_time) < DISK_RECOVERY_TIME);
DISK_RECOVERY_TIME	27	drivers/block/ide.h	#ifndef DISK_RECOVERY_TIME    /* off=0; on=access_delay_time */
DISK_RECOVERY_TIME	294	drivers/block/ide.h	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	327	drivers/block/ide.h	#if (DISK_RECOVERY_TIME > 0)