On Mon, Sep 14, 2015 at 2:34 AM, Peng Fan <Peng.Fan at freescale.com> wrote: > We should not simple use "writew(WCR_WDE, &wdog->wcr)" to set > wcr, since this will override bits set before reset_cpu. > > Use clrsetbits_le32 instead of writew to fix this issue. There is a typo here: it should be clrsetbits_le16.