clocksource_default_clock  195 include/linux/clocksource.h extern struct clocksource * __init clocksource_default_clock(void);
clocksource_default_clock  817 kernel/time/clocksource.c 	curr_clocksource = clocksource_default_clock();
clocksource_default_clock 1561 kernel/time/timekeeping.c 	clock = clocksource_default_clock();