/* Clear the Watchdog Timer Wake-Up Flag of the WDT.  */
void WDTWakeUpFlagClear(void)
/* Clear the Watchdog Timer Wake-Up Flag of the WDT.  */
void WDTWakeUpFlagClear(void)
{
    xHWREG(WDT_WTCR) |= WDT_WTCR_WTWKF;
}