Symbol: __sched_clock
kernel/time/sched_clock.c
103
return __sched_clock();
kernel/time/sched_clock.c
116
ns = __sched_clock();