| tag | line | file | source code |
|---|---|---|---|
| DISK_RECOVERY_TIME | 197 | drivers/block/ide.c | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 1332 | drivers/block/ide.c | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 1333 | 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 | 322 | drivers/block/ide.h | #if (DISK_RECOVERY_TIME > 0) |
| DISK_RECOVERY_TIME | 355 | drivers/block/ide.h | #if (DISK_RECOVERY_TIME > 0) |