869 	payload->timer_index = stimer->index;  in stimer_prepare_msg()
874 static void stimer_init(struct kvm_vcpu_hv_stimer *stimer, int timer_index)  in stimer_init()  argument
877 	stimer->index = timer_index;  in stimer_init()
1299 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;  in kvm_hv_set_msr()  local
1301 		return stimer_set_config(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_set_msr()
1308 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;  in kvm_hv_set_msr()  local
1310 		return stimer_set_count(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_set_msr()
1411 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;  in kvm_hv_get_msr()  local
1413 		return stimer_get_config(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_get_msr()
1420 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;  in kvm_hv_get_msr()  local
1422 		return stimer_get_count(vcpu_to_stimer(vcpu, timer_index),  in kvm_hv_get_msr()