Searched refs:get_tscpage_ts (Results 1 – 1 of 1) sorted by relevance
79 static inline u64 get_tscpage_ts(struct ms_hyperv_tsc_page *tsc_page) in get_tscpage_ts() function89 t1 = get_tscpage_ts(tsc_page); in check_tsc_msr_tsc_page()96 t2 = get_tscpage_ts(tsc_page); in check_tsc_msr_tsc_page()137 GUEST_ASSERT(get_tscpage_ts(tsc_page) < 100000); in guest_main()