/* When configured to generate an NMI, the watchdog interrupt must still be enabled with  */
void WatchdogIntTypeSet(unsigned long ulBase, unsigned long ulType)
/* When configured to generate an NMI, the watchdog interrupt must still be enabled with  */
void WatchdogIntTypeSet(unsigned long ulBase, unsigned long ulType)
{
    ASSERT((ulBase == WATCHDOG0_BASE) || (ulBase == WATCHDOG1_BASE));
    ASSERT((ulType == WATCHDOG_INT_TYPE_INT) ||
           (ulType == WATCHDOG_INT_TYPE_NMI));
    HWREG(ulBase + WDT_O_CTL) =
        (HWREG(ulBase + WDT_O_CTL) & ~WDT_CTL_INTTYPE) | ulType;
}