tsc_pg_val       2085 arch/x86/kvm/x86.c 	u64 tsc_pg_val;
tsc_pg_val       2089 arch/x86/kvm/x86.c 		tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(),
tsc_pg_val       2091 arch/x86/kvm/x86.c 		if (tsc_pg_val != U64_MAX) {
tsc_pg_val       2094 arch/x86/kvm/x86.c 			v = (tsc_pg_val - gtod->clock.cycle_last) &