/* Get the current count value of the running Watchdog Timer. 
Get the current count value of the running Watchdog Timer. */
void wdt_get_current_count(struct wdt_module *const module, uint32_t *count_value)
/* Get the current count value of the running Watchdog Timer. 
Get the current count value of the running Watchdog Timer. */
void wdt_get_current_count(struct wdt_module *const module, uint32_t *count_value)
{
	*count_value = module->hw->WDOGVALUE.reg;
}