__clocksource_watchdog_kthread  432 kernel/time/clocksource.c 	if (__clocksource_watchdog_kthread())
__clocksource_watchdog_kthread  822 kernel/time/clocksource.c 	__clocksource_watchdog_kthread();