/* Set the state of the wdt interrupt status bit. 
This function sets the interrupt bit. */
void am_hal_wdt_int_set(void)
/* Set the state of the wdt interrupt status bit. 
This function sets the interrupt bit. */
void am_hal_wdt_int_set(void)
{
    AM_REG(WDT, INTSET) = AM_REG_WDT_INTSET_WDT_M;
}