| tag | line | file | source code |
|---|---|---|---|
| DISK_RECOVERY_TIME | 220 | drivers/block/ide.c | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 1355 | drivers/block/ide.c | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 1356 | drivers/block/ide.c | while ((read_timer() - hwif->last_time) < DISK_RECOVERY_TIME); |
| DISK_RECOVERY_TIME | 26 | drivers/block/ide.h | #ifndef DISK_RECOVERY_TIME /* off=0; on=access_delay_time */ |
| DISK_RECOVERY_TIME | 325 | drivers/block/ide.h | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 358 | drivers/block/ide.h | #if (DISK_RECOVERY_TIME > 0) |