native_sched_clock
unsigned long long native_sched_clock(void);
DEFINE_STATIC_CALL(pv_sched_clock, native_sched_clock);
return static_call_query(pv_sched_clock) == native_sched_clock;