clocksource_select_watchdog  943 kernel/time/clocksource.c 	clocksource_select_watchdog(false);
clocksource_select_watchdog  972 kernel/time/clocksource.c 	clocksource_select_watchdog(false);
clocksource_select_watchdog  987 kernel/time/clocksource.c 		clocksource_select_watchdog(true);