Symbol: watchdog_set_result
kernel/time/clocksource.c
314
watchdog_set_result(wd, WD_CPU_TIMEOUT);
kernel/time/clocksource.c
350
watchdog_set_result(wd, WD_CPU_SKEWED);