__clocksource_change_rating  119 kernel/time/clocksource.c static void __clocksource_change_rating(struct clocksource *cs, int rating);
__clocksource_change_rating  414 kernel/time/clocksource.c 			__clocksource_change_rating(cs, 0);
__clocksource_change_rating  968 kernel/time/clocksource.c 	__clocksource_change_rating(cs, rating);