static inline cycles_t Time() { return read_cycles(); }
unsigned long long sched_clock(void) { return cycles_2_ns(read_cycles()); }