Searched refs:tsc_pg_val (Results 1 – 1 of 1) sorted by relevance
2352 u64 tsc_pg_val; in vgettsc() local2356 tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(), in vgettsc()2358 if (tsc_pg_val != U64_MAX) { in vgettsc()2361 v = (tsc_pg_val - clock->cycle_last) & in vgettsc()
