Searched refs:hv_read_tsc_page (Results 1 – 3 of 3) sorted by relevance
157 u64 current_tick = hv_read_tsc_page(tsc_pg); in vread_hvclock()
46 u64 current_tick = hv_read_tsc_page(tsc_pg); in read_hv_clock_tsc()
422 static inline u64 hv_read_tsc_page(const struct ms_hyperv_tsc_page *tsc_pg) in hv_read_tsc_page() function
