tag	line	file	source code
DISK_RECOVERY_TIME	238	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1352	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1353	drivers/block/ide.c	while ((read_timer() - hwif->last_time) < DISK_RECOVERY_TIME);
DISK_RECOVERY_TIME	28	drivers/block/ide.h	#ifndef DISK_RECOVERY_TIME    /* off=0; on=access_delay_time */
DISK_RECOVERY_TIME	351	drivers/block/ide.h	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	384	drivers/block/ide.h	#if (DISK_RECOVERY_TIME > 0)