| tag | line | file | source code |
|---|---|---|---|
| DISK_RECOVERY_TIME | 239 | drivers/block/ide.c | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 1353 | drivers/block/ide.c | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 1354 | 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 | 396 | drivers/block/ide.h | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 429 | drivers/block/ide.h | #if (DISK_RECOVERY_TIME > 0) |