__clocksource_register  342 arch/s390/kernel/time.c 	if (__clocksource_register(&clocksource_tod) != 0)
__clocksource_register   82 kernel/time/jiffies.c 	return __clocksource_register(&clocksource_jiffies);
__clocksource_register  118 kernel/time/jiffies.c 	__clocksource_register(&refined_jiffies);