Searched refs:next_channel_id (Results 1 – 1 of 1) sorted by relevance
56 uintptr_t next_channel_id; /* channel which will time out next */ in schedule_next_timeout() local60 next_channel_id = TASK_WDT_BACKGROUND_CHANNEL; in schedule_next_timeout()64 next_channel_id = 0; in schedule_next_timeout()72 next_channel_id = id; in schedule_next_timeout()78 k_timer_user_data_set(&timer, (void *)next_channel_id); in schedule_next_timeout()
