Searched refs:tsc_pg_val (Results 1 – 1 of 1) sorted by relevance
2764 u64 tsc_pg_val; in vgettsc() local2768 tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(), in vgettsc()2770 if (tsc_pg_val != U64_MAX) { in vgettsc()2773 v = (tsc_pg_val - clock->cycle_last) & in vgettsc()
