ktime_get_real_fast_ns
record->time = ns_to_timespec64(ktime_get_real_fast_ns());
extern u64 ktime_get_real_fast_ns(void);
x += ktime_get_real_fast_ns();
x += ktime_get_real_fast_ns();
ret = ktime_get_real_fast_ns();
EXPORT_SYMBOL_GPL(ktime_get_real_fast_ns);