ti_wdt_reg_read
while (ti_wdt_reg_read(sc, TI_WDT_WWPS) & bit)
ti_wdt_reg_read(sc, TI_WDT_WDSC) | TI_WDSC_SR);
while (ti_wdt_reg_read(sc, TI_WDT_WDSC) & TI_WDSC_SR)
ti_wdt_reg_read(sc, TI_WDT_WIDR));
ti_wdt_reg_read(sc, TI_WDT_WTGR) + 1);