/* Enables the WDT's clock. This only enables the clock to the peripheral.  */
void wdt_clock_enable(bool en)
/* Enables the WDT's clock. This only enables the clock to the peripheral.  */
void wdt_clock_enable(bool en)
{
	if (en) {
		SYSCTL_SYS_CFG_1 |= SYSCTL_SYS_CFG_1_WDT;
	} else {
		SYSCTL_SYS_CFG_1 &= ~SYSCTL_SYS_CFG_1_WDT;
	}
}