__clocksource_register
if (__clocksource_register(&clocksource_tod) != 0)
__clocksource_register(&clocksource_wdtest_jiffies);
__clocksource_register(&refined_jiffies);
return __clocksource_register(&clocksource_jiffies);