clocksource_watchdog_kthread  118 kernel/time/clocksource.c static int clocksource_watchdog_kthread(void *data);
clocksource_watchdog_kthread  142 kernel/time/clocksource.c 	kthread_run(clocksource_watchdog_kthread, NULL, "kwatchdog");