wdctimeout
ATA_DELAY / 1000 * hz, wdctimeout, chp);
mstohz(ATA_DELAY), wdctimeout, chp);
wdctimeout, chp);
mstohz(ata_c->timeout), wdctimeout, chp);
wdctimeout, chp);
wdctimeout, chp);
mstohz(ata_c->timeout), wdctimeout, chp);
void wdctimeout(void *arg);
wdctimeout, chp);