8 #include <zephyr/drivers/counter.h>
28 	const struct device *counter;  member
34 	const struct device *counter = config->counter;  in wdt_counter_setup()  local
40 	return counter_start(counter);  in wdt_counter_setup()
46 	const struct device *counter = config->counter;  in wdt_counter_disable()  local
48 	return counter_stop(counter);  in wdt_counter_disable()
73 	const struct device *counter = config->counter;  in timeout_set()  local
82 		int err = counter_cancel_channel_alarm(counter, chan_id);  in timeout_set()
89 	return counter_set_channel_alarm(counter, chan_id, &alarm_cfg);  in timeout_set()
97 	const struct device *counter = config->counter;  in wdt_counter_install_timeout()  local
100 	if (!device_is_ready(counter)) {  in wdt_counter_install_timeout()
104 	uint32_t max_timeout = counter_get_top_value(counter) -  in wdt_counter_install_timeout()
105 				counter_get_guard_period(counter,  in wdt_counter_install_timeout()
107 	uint32_t timeout_ticks = counter_us_to_ticks(counter, (uint64_t)cfg->window.max * 1000);  in wdt_counter_install_timeout()
144 	if (chan_id > counter_get_num_of_channels(config->counter)) {  in wdt_counter_feed()
160 	.counter = DEVICE_DT_GET(DT_PHANDLE(DT_WDT_COUNTER, counter)),
168 	uint8_t ch_cnt = counter_get_num_of_channels(config->counter);  in wdt_counter_init()