vcpu_to_stimer   1164 arch/x86/kvm/hyperv.c 		return stimer_set_config(vcpu_to_stimer(vcpu, timer_index),
vcpu_to_stimer   1173 arch/x86/kvm/hyperv.c 		return stimer_set_count(vcpu_to_stimer(vcpu, timer_index),
vcpu_to_stimer   1272 arch/x86/kvm/hyperv.c 		return stimer_get_config(vcpu_to_stimer(vcpu, timer_index),
vcpu_to_stimer   1281 arch/x86/kvm/hyperv.c 		return stimer_get_count(vcpu_to_stimer(vcpu, timer_index),