tag	line	file	source code
DISK_RECOVERY_TIME	149	drivers/block/ide.c	#ifndef DISK_RECOVERY_TIME    /* min. delay between IO for hardware */
DISK_RECOVERY_TIME	377	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1087	drivers/block/ide.c	#if (DISK_RECOVERY_TIME > 0)
DISK_RECOVERY_TIME	1088	drivers/block/ide.c	while ((read_timer() - ide_lastreq[HWIF]) < DISK_RECOVERY_TIME);