Searched refs:current_counter_value (Results 1 – 1 of 1) sorted by relevance
406 uint32_t current_counter_value = sys_read32(base + WDT_CCVR); in dw_wdt_current_counter_value_register_get() local408 current_counter_value &= (1 << (wdt_counter_width - 1)); in dw_wdt_current_counter_value_register_get()409 return current_counter_value; in dw_wdt_current_counter_value_register_get()
