get_time_ref_counter  463 arch/x86/kvm/hyperv.c 	time_now = get_time_ref_counter(stimer_to_vcpu(stimer)->kvm);
get_time_ref_counter  635 arch/x86/kvm/hyperv.c 	payload->delivery_time = get_time_ref_counter(vcpu->kvm);
get_time_ref_counter  687 arch/x86/kvm/hyperv.c 						get_time_ref_counter(vcpu->kvm);
get_time_ref_counter 1205 arch/x86/kvm/hyperv.c 		data = get_time_ref_counter(kvm);