Symbol: hv_get_tsc_page