__sched_clock_gtod_offset  217 kernel/sched/clock.c 	__sched_clock_gtod_offset();
__sched_clock_gtod_offset  419 kernel/sched/clock.c 	__sched_clock_gtod_offset();