Use tsc_frequency instead of tsc_freq.