Searched refs:TASK_WDT_BACKGROUND_CHANNEL (Results 1 – 1 of 1) sorted by relevance
22 #define TASK_WDT_BACKGROUND_CHANNEL UINTPTR_MAX macro60 next_channel_id = TASK_WDT_BACKGROUND_CHANNEL; in schedule_next_timeout()106 (channel_id == TASK_WDT_BACKGROUND_CHANNEL); in task_wdt_trigger()
