Symbol: check_tsc_msr_tsc_page