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) {