WCR_WDE
reg |= WCR_WDE;
sc->sc_wdog_armed = __SHIFTOUT(wdog_read(sc, IMX_WDOG_WCR), WCR_WDE);
reg |= WCR_WDE;
bus_space_write_2(bst, bsh, IMX_WDOG_WCR, WCR_WDE);
bus_space_write_2(bst, bsh, IMX_WDOG_WCR, WCR_WDE);
reg |= WCR_WDE;
sc->sc_wdog_armed = __SHIFTOUT(wdog_read(sc, IMX_WDOG_WCR), WCR_WDE);
reg |= WCR_WDE;