Symbol: tsc_freq_changed