Searched refs:tsc_pg_val (Results 1 – 1 of 1) sorted by relevance
1751 u64 tsc_pg_val; in vgettsc() local1755 tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(), in vgettsc()1757 if (tsc_pg_val != U64_MAX) { in vgettsc()1760 v = (tsc_pg_val - gtod->clock.cycle_last) & in vgettsc()
