RESET_SLEEP
(void) wdcreset(chp, RESET_SLEEP);
(poll == RESET_SLEEP) ? 0 : 1);
if (poll != RESET_SLEEP)
if (poll != RESET_SLEEP) {
if (wdcreset(chp, RESET_SLEEP) != 0)