/* Clear the Watchdog Timer Reset Flag of the WDT.  */
void WDTResetFlagClear(void)
/* Clear the Watchdog Timer Reset Flag of the WDT.  */
void WDTResetFlagClear(void)
{
    xHWREG(WDT_WTCR) |= WDT_WTCR_WTRF;
}