Symbol: WATCHDOG_MAX_SKEW
kernel/time/clocksource.c
1191
if (cs->uncertainty_margin < 2 * WATCHDOG_MAX_SKEW)
kernel/time/clocksource.c
1192
cs->uncertainty_margin = 2 * WATCHDOG_MAX_SKEW;
kernel/time/clocksource.c
1196
WARN_ON_ONCE(cs->uncertainty_margin < 2 * WATCHDOG_MAX_SKEW);
kernel/time/clocksource.c
293
smp_processor_id(), cs->name, wd_delay, WATCHDOG_MAX_SKEW, wd_seq_delay, nretries, cs->name);