Symbol: watchdog_check_skew
kernel/time/clocksource.c
364
watchdog_check_skew(wd, 1);
kernel/time/clocksource.c
415
watchdog_check_skew(wd, 0);