extern int tsc_is_invariant;
extern uint64_t tsc_freq;