/* Get WDT status. This function is used to get WDT status.  */
unsigned long WDTStatusFlagGet(void)
/* Get WDT status. This function is used to get WDT status.  */
unsigned long WDTStatusFlagGet(void)
{
    return xHWREG(WDT_BASE + WDT_MOD);
}