use_sched_clock    71 drivers/clocksource/timer-sp804.c 						     int use_sched_clock)
use_sched_clock    98 drivers/clocksource/timer-sp804.c 	if (use_sched_clock) {