/* Clear WDT interrupt status. 
Clear WDT interrupt status. */
void wdt_clear_status(struct wdt_module *const module)
/* Clear WDT interrupt status. 
Clear WDT interrupt status. */
void wdt_clear_status(struct wdt_module *const module)
{
	module->hw->WDOGINTCLR.reg = 0x01;
}