__clocksource_watchdog_kthread  404 kernel/time/clocksource.c static int __clocksource_watchdog_kthread(void)
__clocksource_watchdog_kthread  454 kernel/time/clocksource.c static inline int __clocksource_watchdog_kthread(void) { return 0; }