702 	payload->timer_index = stimer->index;  in stimer_prepare_msg()
707 static void stimer_init(struct kvm_vcpu_hv_stimer *stimer, int timer_index)  in stimer_init()  argument
710 	stimer->index = timer_index;  in stimer_init()
1096 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;  in kvm_hv_set_msr()  local
1098 		return stimer_set_config(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_set_msr()
1105 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;  in kvm_hv_set_msr()  local
1107 		return stimer_set_count(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_set_msr()
1204 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;  in kvm_hv_get_msr()  local
1206 		return stimer_get_config(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_get_msr()
1213 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;  in kvm_hv_get_msr()  local
1215 		return stimer_get_count(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_get_msr()