Searched refs:tsc_pg_val (Results 1 – 1 of 1) sorted by relevance
2754 u64 tsc_pg_val; in vgettsc() local2758 tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(), in vgettsc()2760 if (tsc_pg_val != U64_MAX) { in vgettsc()2763 v = (tsc_pg_val - clock->cycle_last) & in vgettsc()