Symbol: WATCHDOG_REMOTE_MAX_SEQ
kernel/time/clocksource.c
296
atomic_set(&wd->seq, WATCHDOG_REMOTE_MAX_SEQ);
kernel/time/clocksource.c
321
return seq < WATCHDOG_REMOTE_MAX_SEQ;
kernel/time/clocksource.c
336
for (int seq = local + 2; seq < WATCHDOG_REMOTE_MAX_SEQ; seq += 2) {