Searched refs:tsc_pg_val (Results 1 – 1 of 1) sorted by relevance
2419 u64 tsc_pg_val; in vgettsc() local2423 tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(), in vgettsc()2425 if (tsc_pg_val != U64_MAX) { in vgettsc()2428 v = (tsc_pg_val - clock->cycle_last) & in vgettsc()