native_sched_clock_from_tsc
data->time = native_sched_clock_from_tsc(tsc) + __sched_clock_offset;
extern unsigned long long native_sched_clock_from_tsc(u64 tsc);