104 	uintptr_t channel_id = (uintptr_t)k_timer_user_data_get(timer_id);  in task_wdt_trigger()  local
106 			  (channel_id == TASK_WDT_BACKGROUND_CHANNEL);  in task_wdt_trigger()
113 	if (bg_channel || channels[channel_id].reload_period == 0) {  in task_wdt_trigger()
118 	if (channels[channel_id].callback) {  in task_wdt_trigger()
119 		channels[channel_id].callback(channel_id,  in task_wdt_trigger()
120 			channels[channel_id].user_data);  in task_wdt_trigger()
200 int task_wdt_delete(int channel_id)  in task_wdt_delete()  argument
204 	if (channel_id < 0 || channel_id >= ARRAY_SIZE(channels)) {  in task_wdt_delete()
210 	channels[channel_id].reload_period = 0;  in task_wdt_delete()
217 int task_wdt_feed(int channel_id)  in task_wdt_feed()  argument
221 	if (channel_id < 0 || channel_id >= ARRAY_SIZE(channels)) {  in task_wdt_feed()
236 	channels[channel_id].timeout_abs_ticks = current_ticks +  in task_wdt_feed()
237 		k_ms_to_ticks_ceil64(channels[channel_id].reload_period);  in task_wdt_feed()