sched_clock_noinstr
u64 sched_clock_noinstr(void) __attribute__((alias("native_sched_clock")));
now = sched_clock_noinstr();
extern u64 sched_clock_noinstr(void);
return sched_clock_noinstr();
now = sched_clock_noinstr();
return sched_clock_noinstr() + __sched_clock_offset;
return sched_clock_noinstr();