xref: /openbmc/linux/arch/x86/kvm/hyperv.c (revision f21dd494506ad002a5b6b32e50a5d4ccac6929fe)
1e83d5887SAndrey Smetanin /*
2e83d5887SAndrey Smetanin  * KVM Microsoft Hyper-V emulation
3e83d5887SAndrey Smetanin  *
4e83d5887SAndrey Smetanin  * derived from arch/x86/kvm/x86.c
5e83d5887SAndrey Smetanin  *
6e83d5887SAndrey Smetanin  * Copyright (C) 2006 Qumranet, Inc.
7e83d5887SAndrey Smetanin  * Copyright (C) 2008 Qumranet, Inc.
8e83d5887SAndrey Smetanin  * Copyright IBM Corporation, 2008
9e83d5887SAndrey Smetanin  * Copyright 2010 Red Hat, Inc. and/or its affiliates.
10e83d5887SAndrey Smetanin  * Copyright (C) 2015 Andrey Smetanin <asmetanin@virtuozzo.com>
11e83d5887SAndrey Smetanin  *
12e83d5887SAndrey Smetanin  * Authors:
13e83d5887SAndrey Smetanin  *   Avi Kivity   <avi@qumranet.com>
14e83d5887SAndrey Smetanin  *   Yaniv Kamay  <yaniv@qumranet.com>
15e83d5887SAndrey Smetanin  *   Amit Shah    <amit.shah@qumranet.com>
16e83d5887SAndrey Smetanin  *   Ben-Ami Yassour <benami@il.ibm.com>
17e83d5887SAndrey Smetanin  *   Andrey Smetanin <asmetanin@virtuozzo.com>
18e83d5887SAndrey Smetanin  *
19e83d5887SAndrey Smetanin  * This work is licensed under the terms of the GNU GPL, version 2.  See
20e83d5887SAndrey Smetanin  * the COPYING file in the top-level directory.
21e83d5887SAndrey Smetanin  *
22e83d5887SAndrey Smetanin  */
23e83d5887SAndrey Smetanin 
24e83d5887SAndrey Smetanin #include "x86.h"
25e83d5887SAndrey Smetanin #include "lapic.h"
265c919412SAndrey Smetanin #include "ioapic.h"
27e83d5887SAndrey Smetanin #include "hyperv.h"
28e83d5887SAndrey Smetanin 
29e83d5887SAndrey Smetanin #include <linux/kvm_host.h>
30765eaa0fSAndrey Smetanin #include <linux/highmem.h>
3132ef5517SIngo Molnar #include <linux/sched/cputime.h>
32faeb7833SRoman Kagan #include <linux/eventfd.h>
3332ef5517SIngo Molnar 
345c919412SAndrey Smetanin #include <asm/apicdef.h>
35e83d5887SAndrey Smetanin #include <trace/events/kvm.h>
36e83d5887SAndrey Smetanin 
37e83d5887SAndrey Smetanin #include "trace.h"
38e83d5887SAndrey Smetanin 
39*f21dd494SVitaly Kuznetsov #define KVM_HV_MAX_SPARSE_VCPU_SET_BITS DIV_ROUND_UP(KVM_MAX_VCPUS, 64)
40*f21dd494SVitaly Kuznetsov 
415c919412SAndrey Smetanin static inline u64 synic_read_sint(struct kvm_vcpu_hv_synic *synic, int sint)
425c919412SAndrey Smetanin {
435c919412SAndrey Smetanin 	return atomic64_read(&synic->sint[sint]);
445c919412SAndrey Smetanin }
455c919412SAndrey Smetanin 
465c919412SAndrey Smetanin static inline int synic_get_sint_vector(u64 sint_value)
475c919412SAndrey Smetanin {
485c919412SAndrey Smetanin 	if (sint_value & HV_SYNIC_SINT_MASKED)
495c919412SAndrey Smetanin 		return -1;
505c919412SAndrey Smetanin 	return sint_value & HV_SYNIC_SINT_VECTOR_MASK;
515c919412SAndrey Smetanin }
525c919412SAndrey Smetanin 
535c919412SAndrey Smetanin static bool synic_has_vector_connected(struct kvm_vcpu_hv_synic *synic,
545c919412SAndrey Smetanin 				      int vector)
555c919412SAndrey Smetanin {
565c919412SAndrey Smetanin 	int i;
575c919412SAndrey Smetanin 
585c919412SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(synic->sint); i++) {
595c919412SAndrey Smetanin 		if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector)
605c919412SAndrey Smetanin 			return true;
615c919412SAndrey Smetanin 	}
625c919412SAndrey Smetanin 	return false;
635c919412SAndrey Smetanin }
645c919412SAndrey Smetanin 
655c919412SAndrey Smetanin static bool synic_has_vector_auto_eoi(struct kvm_vcpu_hv_synic *synic,
665c919412SAndrey Smetanin 				     int vector)
675c919412SAndrey Smetanin {
685c919412SAndrey Smetanin 	int i;
695c919412SAndrey Smetanin 	u64 sint_value;
705c919412SAndrey Smetanin 
715c919412SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(synic->sint); i++) {
725c919412SAndrey Smetanin 		sint_value = synic_read_sint(synic, i);
735c919412SAndrey Smetanin 		if (synic_get_sint_vector(sint_value) == vector &&
745c919412SAndrey Smetanin 		    sint_value & HV_SYNIC_SINT_AUTO_EOI)
755c919412SAndrey Smetanin 			return true;
765c919412SAndrey Smetanin 	}
775c919412SAndrey Smetanin 	return false;
785c919412SAndrey Smetanin }
795c919412SAndrey Smetanin 
8098f65ad4SVitaly Kuznetsov static void synic_update_vector(struct kvm_vcpu_hv_synic *synic,
8198f65ad4SVitaly Kuznetsov 				int vector)
825c919412SAndrey Smetanin {
8398f65ad4SVitaly Kuznetsov 	if (vector < HV_SYNIC_FIRST_VALID_VECTOR)
8498f65ad4SVitaly Kuznetsov 		return;
855c919412SAndrey Smetanin 
865c919412SAndrey Smetanin 	if (synic_has_vector_connected(synic, vector))
875c919412SAndrey Smetanin 		__set_bit(vector, synic->vec_bitmap);
885c919412SAndrey Smetanin 	else
895c919412SAndrey Smetanin 		__clear_bit(vector, synic->vec_bitmap);
905c919412SAndrey Smetanin 
915c919412SAndrey Smetanin 	if (synic_has_vector_auto_eoi(synic, vector))
925c919412SAndrey Smetanin 		__set_bit(vector, synic->auto_eoi_bitmap);
935c919412SAndrey Smetanin 	else
945c919412SAndrey Smetanin 		__clear_bit(vector, synic->auto_eoi_bitmap);
9598f65ad4SVitaly Kuznetsov }
9698f65ad4SVitaly Kuznetsov 
9798f65ad4SVitaly Kuznetsov static int synic_set_sint(struct kvm_vcpu_hv_synic *synic, int sint,
9898f65ad4SVitaly Kuznetsov 			  u64 data, bool host)
9998f65ad4SVitaly Kuznetsov {
10098f65ad4SVitaly Kuznetsov 	int vector, old_vector;
101915e6f78SVitaly Kuznetsov 	bool masked;
10298f65ad4SVitaly Kuznetsov 
10398f65ad4SVitaly Kuznetsov 	vector = data & HV_SYNIC_SINT_VECTOR_MASK;
104915e6f78SVitaly Kuznetsov 	masked = data & HV_SYNIC_SINT_MASKED;
105915e6f78SVitaly Kuznetsov 
106915e6f78SVitaly Kuznetsov 	/*
107915e6f78SVitaly Kuznetsov 	 * Valid vectors are 16-255, however, nested Hyper-V attempts to write
108915e6f78SVitaly Kuznetsov 	 * default '0x10000' value on boot and this should not #GP. We need to
109915e6f78SVitaly Kuznetsov 	 * allow zero-initing the register from host as well.
110915e6f78SVitaly Kuznetsov 	 */
111915e6f78SVitaly Kuznetsov 	if (vector < HV_SYNIC_FIRST_VALID_VECTOR && !host && !masked)
11298f65ad4SVitaly Kuznetsov 		return 1;
11398f65ad4SVitaly Kuznetsov 	/*
11498f65ad4SVitaly Kuznetsov 	 * Guest may configure multiple SINTs to use the same vector, so
11598f65ad4SVitaly Kuznetsov 	 * we maintain a bitmap of vectors handled by synic, and a
11698f65ad4SVitaly Kuznetsov 	 * bitmap of vectors with auto-eoi behavior.  The bitmaps are
11798f65ad4SVitaly Kuznetsov 	 * updated here, and atomically queried on fast paths.
11898f65ad4SVitaly Kuznetsov 	 */
11998f65ad4SVitaly Kuznetsov 	old_vector = synic_read_sint(synic, sint) & HV_SYNIC_SINT_VECTOR_MASK;
12098f65ad4SVitaly Kuznetsov 
12198f65ad4SVitaly Kuznetsov 	atomic64_set(&synic->sint[sint], data);
12298f65ad4SVitaly Kuznetsov 
12398f65ad4SVitaly Kuznetsov 	synic_update_vector(synic, old_vector);
12498f65ad4SVitaly Kuznetsov 
12598f65ad4SVitaly Kuznetsov 	synic_update_vector(synic, vector);
1265c919412SAndrey Smetanin 
1275c919412SAndrey Smetanin 	/* Load SynIC vectors into EOI exit bitmap */
1285c919412SAndrey Smetanin 	kvm_make_request(KVM_REQ_SCAN_IOAPIC, synic_to_vcpu(synic));
1295c919412SAndrey Smetanin 	return 0;
1305c919412SAndrey Smetanin }
1315c919412SAndrey Smetanin 
132d3457c87SRoman Kagan static struct kvm_vcpu *get_vcpu_by_vpidx(struct kvm *kvm, u32 vpidx)
133d3457c87SRoman Kagan {
134d3457c87SRoman Kagan 	struct kvm_vcpu *vcpu = NULL;
135d3457c87SRoman Kagan 	int i;
136d3457c87SRoman Kagan 
1379170200eSVitaly Kuznetsov 	if (vpidx >= KVM_MAX_VCPUS)
1389170200eSVitaly Kuznetsov 		return NULL;
1399170200eSVitaly Kuznetsov 
140d3457c87SRoman Kagan 	vcpu = kvm_get_vcpu(kvm, vpidx);
141d3457c87SRoman Kagan 	if (vcpu && vcpu_to_hv_vcpu(vcpu)->vp_index == vpidx)
142d3457c87SRoman Kagan 		return vcpu;
143d3457c87SRoman Kagan 	kvm_for_each_vcpu(i, vcpu, kvm)
144d3457c87SRoman Kagan 		if (vcpu_to_hv_vcpu(vcpu)->vp_index == vpidx)
145d3457c87SRoman Kagan 			return vcpu;
146d3457c87SRoman Kagan 	return NULL;
147d3457c87SRoman Kagan }
148d3457c87SRoman Kagan 
149d3457c87SRoman Kagan static struct kvm_vcpu_hv_synic *synic_get(struct kvm *kvm, u32 vpidx)
1505c919412SAndrey Smetanin {
1515c919412SAndrey Smetanin 	struct kvm_vcpu *vcpu;
1525c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic;
1535c919412SAndrey Smetanin 
154d3457c87SRoman Kagan 	vcpu = get_vcpu_by_vpidx(kvm, vpidx);
1555c919412SAndrey Smetanin 	if (!vcpu)
1565c919412SAndrey Smetanin 		return NULL;
1575c919412SAndrey Smetanin 	synic = vcpu_to_synic(vcpu);
1585c919412SAndrey Smetanin 	return (synic->active) ? synic : NULL;
1595c919412SAndrey Smetanin }
1605c919412SAndrey Smetanin 
161765eaa0fSAndrey Smetanin static void synic_clear_sint_msg_pending(struct kvm_vcpu_hv_synic *synic,
162765eaa0fSAndrey Smetanin 					u32 sint)
163765eaa0fSAndrey Smetanin {
164765eaa0fSAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
165765eaa0fSAndrey Smetanin 	struct page *page;
166765eaa0fSAndrey Smetanin 	gpa_t gpa;
167765eaa0fSAndrey Smetanin 	struct hv_message *msg;
168765eaa0fSAndrey Smetanin 	struct hv_message_page *msg_page;
169765eaa0fSAndrey Smetanin 
170765eaa0fSAndrey Smetanin 	gpa = synic->msg_page & PAGE_MASK;
171765eaa0fSAndrey Smetanin 	page = kvm_vcpu_gfn_to_page(vcpu, gpa >> PAGE_SHIFT);
172765eaa0fSAndrey Smetanin 	if (is_error_page(page)) {
173765eaa0fSAndrey Smetanin 		vcpu_err(vcpu, "Hyper-V SynIC can't get msg page, gpa 0x%llx\n",
174765eaa0fSAndrey Smetanin 			 gpa);
175765eaa0fSAndrey Smetanin 		return;
176765eaa0fSAndrey Smetanin 	}
177765eaa0fSAndrey Smetanin 	msg_page = kmap_atomic(page);
178765eaa0fSAndrey Smetanin 
179765eaa0fSAndrey Smetanin 	msg = &msg_page->sint_message[sint];
180765eaa0fSAndrey Smetanin 	msg->header.message_flags.msg_pending = 0;
181765eaa0fSAndrey Smetanin 
182765eaa0fSAndrey Smetanin 	kunmap_atomic(msg_page);
183765eaa0fSAndrey Smetanin 	kvm_release_page_dirty(page);
184765eaa0fSAndrey Smetanin 	kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT);
185765eaa0fSAndrey Smetanin }
186765eaa0fSAndrey Smetanin 
1875c919412SAndrey Smetanin static void kvm_hv_notify_acked_sint(struct kvm_vcpu *vcpu, u32 sint)
1885c919412SAndrey Smetanin {
1895c919412SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
190765eaa0fSAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
1911f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
1921f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
1931f4b34f8SAndrey Smetanin 	int gsi, idx, stimers_pending;
1945c919412SAndrey Smetanin 
19518659a9cSAndrey Smetanin 	trace_kvm_hv_notify_acked_sint(vcpu->vcpu_id, sint);
1965c919412SAndrey Smetanin 
197765eaa0fSAndrey Smetanin 	if (synic->msg_page & HV_SYNIC_SIMP_ENABLE)
198765eaa0fSAndrey Smetanin 		synic_clear_sint_msg_pending(synic, sint);
199765eaa0fSAndrey Smetanin 
2001f4b34f8SAndrey Smetanin 	/* Try to deliver pending Hyper-V SynIC timers messages */
2011f4b34f8SAndrey Smetanin 	stimers_pending = 0;
2021f4b34f8SAndrey Smetanin 	for (idx = 0; idx < ARRAY_SIZE(hv_vcpu->stimer); idx++) {
2031f4b34f8SAndrey Smetanin 		stimer = &hv_vcpu->stimer[idx];
2041f4b34f8SAndrey Smetanin 		if (stimer->msg_pending &&
2051f4b34f8SAndrey Smetanin 		    (stimer->config & HV_STIMER_ENABLE) &&
2061f4b34f8SAndrey Smetanin 		    HV_STIMER_SINT(stimer->config) == sint) {
2071f4b34f8SAndrey Smetanin 			set_bit(stimer->index,
2081f4b34f8SAndrey Smetanin 				hv_vcpu->stimer_pending_bitmap);
2091f4b34f8SAndrey Smetanin 			stimers_pending++;
2101f4b34f8SAndrey Smetanin 		}
2111f4b34f8SAndrey Smetanin 	}
2121f4b34f8SAndrey Smetanin 	if (stimers_pending)
2131f4b34f8SAndrey Smetanin 		kvm_make_request(KVM_REQ_HV_STIMER, vcpu);
2141f4b34f8SAndrey Smetanin 
2155c919412SAndrey Smetanin 	idx = srcu_read_lock(&kvm->irq_srcu);
2161f4b34f8SAndrey Smetanin 	gsi = atomic_read(&synic->sint_to_gsi[sint]);
2175c919412SAndrey Smetanin 	if (gsi != -1)
2185c919412SAndrey Smetanin 		kvm_notify_acked_gsi(kvm, gsi);
2195c919412SAndrey Smetanin 	srcu_read_unlock(&kvm->irq_srcu, idx);
2205c919412SAndrey Smetanin }
2215c919412SAndrey Smetanin 
222db397571SAndrey Smetanin static void synic_exit(struct kvm_vcpu_hv_synic *synic, u32 msr)
223db397571SAndrey Smetanin {
224db397571SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
225db397571SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
226db397571SAndrey Smetanin 
227db397571SAndrey Smetanin 	hv_vcpu->exit.type = KVM_EXIT_HYPERV_SYNIC;
228db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.msr = msr;
229db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.control = synic->control;
230db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.evt_page = synic->evt_page;
231db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.msg_page = synic->msg_page;
232db397571SAndrey Smetanin 
233db397571SAndrey Smetanin 	kvm_make_request(KVM_REQ_HV_EXIT, vcpu);
234db397571SAndrey Smetanin }
235db397571SAndrey Smetanin 
2365c919412SAndrey Smetanin static int synic_set_msr(struct kvm_vcpu_hv_synic *synic,
2375c919412SAndrey Smetanin 			 u32 msr, u64 data, bool host)
2385c919412SAndrey Smetanin {
2395c919412SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
2405c919412SAndrey Smetanin 	int ret;
2415c919412SAndrey Smetanin 
24244883f01SPaolo Bonzini 	if (!synic->active && !host)
2435c919412SAndrey Smetanin 		return 1;
2445c919412SAndrey Smetanin 
24518659a9cSAndrey Smetanin 	trace_kvm_hv_synic_set_msr(vcpu->vcpu_id, msr, data, host);
24618659a9cSAndrey Smetanin 
2475c919412SAndrey Smetanin 	ret = 0;
2485c919412SAndrey Smetanin 	switch (msr) {
2495c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
2505c919412SAndrey Smetanin 		synic->control = data;
251db397571SAndrey Smetanin 		if (!host)
252db397571SAndrey Smetanin 			synic_exit(synic, msr);
2535c919412SAndrey Smetanin 		break;
2545c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
2555c919412SAndrey Smetanin 		if (!host) {
2565c919412SAndrey Smetanin 			ret = 1;
2575c919412SAndrey Smetanin 			break;
2585c919412SAndrey Smetanin 		}
2595c919412SAndrey Smetanin 		synic->version = data;
2605c919412SAndrey Smetanin 		break;
2615c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
262efc479e6SRoman Kagan 		if ((data & HV_SYNIC_SIEFP_ENABLE) && !host &&
263efc479e6SRoman Kagan 		    !synic->dont_zero_synic_pages)
2645c919412SAndrey Smetanin 			if (kvm_clear_guest(vcpu->kvm,
2655c919412SAndrey Smetanin 					    data & PAGE_MASK, PAGE_SIZE)) {
2665c919412SAndrey Smetanin 				ret = 1;
2675c919412SAndrey Smetanin 				break;
2685c919412SAndrey Smetanin 			}
2695c919412SAndrey Smetanin 		synic->evt_page = data;
270db397571SAndrey Smetanin 		if (!host)
271db397571SAndrey Smetanin 			synic_exit(synic, msr);
2725c919412SAndrey Smetanin 		break;
2735c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
274efc479e6SRoman Kagan 		if ((data & HV_SYNIC_SIMP_ENABLE) && !host &&
275efc479e6SRoman Kagan 		    !synic->dont_zero_synic_pages)
2765c919412SAndrey Smetanin 			if (kvm_clear_guest(vcpu->kvm,
2775c919412SAndrey Smetanin 					    data & PAGE_MASK, PAGE_SIZE)) {
2785c919412SAndrey Smetanin 				ret = 1;
2795c919412SAndrey Smetanin 				break;
2805c919412SAndrey Smetanin 			}
2815c919412SAndrey Smetanin 		synic->msg_page = data;
282db397571SAndrey Smetanin 		if (!host)
283db397571SAndrey Smetanin 			synic_exit(synic, msr);
2845c919412SAndrey Smetanin 		break;
2855c919412SAndrey Smetanin 	case HV_X64_MSR_EOM: {
2865c919412SAndrey Smetanin 		int i;
2875c919412SAndrey Smetanin 
2885c919412SAndrey Smetanin 		for (i = 0; i < ARRAY_SIZE(synic->sint); i++)
2895c919412SAndrey Smetanin 			kvm_hv_notify_acked_sint(vcpu, i);
2905c919412SAndrey Smetanin 		break;
2915c919412SAndrey Smetanin 	}
2925c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
2937be58a64SAndrey Smetanin 		ret = synic_set_sint(synic, msr - HV_X64_MSR_SINT0, data, host);
2945c919412SAndrey Smetanin 		break;
2955c919412SAndrey Smetanin 	default:
2965c919412SAndrey Smetanin 		ret = 1;
2975c919412SAndrey Smetanin 		break;
2985c919412SAndrey Smetanin 	}
2995c919412SAndrey Smetanin 	return ret;
3005c919412SAndrey Smetanin }
3015c919412SAndrey Smetanin 
30244883f01SPaolo Bonzini static int synic_get_msr(struct kvm_vcpu_hv_synic *synic, u32 msr, u64 *pdata,
30344883f01SPaolo Bonzini 			 bool host)
3045c919412SAndrey Smetanin {
3055c919412SAndrey Smetanin 	int ret;
3065c919412SAndrey Smetanin 
30744883f01SPaolo Bonzini 	if (!synic->active && !host)
3085c919412SAndrey Smetanin 		return 1;
3095c919412SAndrey Smetanin 
3105c919412SAndrey Smetanin 	ret = 0;
3115c919412SAndrey Smetanin 	switch (msr) {
3125c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
3135c919412SAndrey Smetanin 		*pdata = synic->control;
3145c919412SAndrey Smetanin 		break;
3155c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
3165c919412SAndrey Smetanin 		*pdata = synic->version;
3175c919412SAndrey Smetanin 		break;
3185c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
3195c919412SAndrey Smetanin 		*pdata = synic->evt_page;
3205c919412SAndrey Smetanin 		break;
3215c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
3225c919412SAndrey Smetanin 		*pdata = synic->msg_page;
3235c919412SAndrey Smetanin 		break;
3245c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
3255c919412SAndrey Smetanin 		*pdata = 0;
3265c919412SAndrey Smetanin 		break;
3275c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
3285c919412SAndrey Smetanin 		*pdata = atomic64_read(&synic->sint[msr - HV_X64_MSR_SINT0]);
3295c919412SAndrey Smetanin 		break;
3305c919412SAndrey Smetanin 	default:
3315c919412SAndrey Smetanin 		ret = 1;
3325c919412SAndrey Smetanin 		break;
3335c919412SAndrey Smetanin 	}
3345c919412SAndrey Smetanin 	return ret;
3355c919412SAndrey Smetanin }
3365c919412SAndrey Smetanin 
337ecd8a8c2SJiang Biao static int synic_set_irq(struct kvm_vcpu_hv_synic *synic, u32 sint)
3385c919412SAndrey Smetanin {
3395c919412SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
3405c919412SAndrey Smetanin 	struct kvm_lapic_irq irq;
3415c919412SAndrey Smetanin 	int ret, vector;
3425c919412SAndrey Smetanin 
3435c919412SAndrey Smetanin 	if (sint >= ARRAY_SIZE(synic->sint))
3445c919412SAndrey Smetanin 		return -EINVAL;
3455c919412SAndrey Smetanin 
3465c919412SAndrey Smetanin 	vector = synic_get_sint_vector(synic_read_sint(synic, sint));
3475c919412SAndrey Smetanin 	if (vector < 0)
3485c919412SAndrey Smetanin 		return -ENOENT;
3495c919412SAndrey Smetanin 
3505c919412SAndrey Smetanin 	memset(&irq, 0, sizeof(irq));
351f98a3efbSRadim Krčmář 	irq.shorthand = APIC_DEST_SELF;
3525c919412SAndrey Smetanin 	irq.dest_mode = APIC_DEST_PHYSICAL;
3535c919412SAndrey Smetanin 	irq.delivery_mode = APIC_DM_FIXED;
3545c919412SAndrey Smetanin 	irq.vector = vector;
3555c919412SAndrey Smetanin 	irq.level = 1;
3565c919412SAndrey Smetanin 
357f98a3efbSRadim Krčmář 	ret = kvm_irq_delivery_to_apic(vcpu->kvm, vcpu->arch.apic, &irq, NULL);
35818659a9cSAndrey Smetanin 	trace_kvm_hv_synic_set_irq(vcpu->vcpu_id, sint, irq.vector, ret);
3595c919412SAndrey Smetanin 	return ret;
3605c919412SAndrey Smetanin }
3615c919412SAndrey Smetanin 
362d3457c87SRoman Kagan int kvm_hv_synic_set_irq(struct kvm *kvm, u32 vpidx, u32 sint)
3635c919412SAndrey Smetanin {
3645c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic;
3655c919412SAndrey Smetanin 
366d3457c87SRoman Kagan 	synic = synic_get(kvm, vpidx);
3675c919412SAndrey Smetanin 	if (!synic)
3685c919412SAndrey Smetanin 		return -EINVAL;
3695c919412SAndrey Smetanin 
3705c919412SAndrey Smetanin 	return synic_set_irq(synic, sint);
3715c919412SAndrey Smetanin }
3725c919412SAndrey Smetanin 
3735c919412SAndrey Smetanin void kvm_hv_synic_send_eoi(struct kvm_vcpu *vcpu, int vector)
3745c919412SAndrey Smetanin {
3755c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
3765c919412SAndrey Smetanin 	int i;
3775c919412SAndrey Smetanin 
37818659a9cSAndrey Smetanin 	trace_kvm_hv_synic_send_eoi(vcpu->vcpu_id, vector);
3795c919412SAndrey Smetanin 
3805c919412SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(synic->sint); i++)
3815c919412SAndrey Smetanin 		if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector)
3825c919412SAndrey Smetanin 			kvm_hv_notify_acked_sint(vcpu, i);
3835c919412SAndrey Smetanin }
3845c919412SAndrey Smetanin 
385d3457c87SRoman Kagan static int kvm_hv_set_sint_gsi(struct kvm *kvm, u32 vpidx, u32 sint, int gsi)
3865c919412SAndrey Smetanin {
3875c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic;
3885c919412SAndrey Smetanin 
389d3457c87SRoman Kagan 	synic = synic_get(kvm, vpidx);
3905c919412SAndrey Smetanin 	if (!synic)
3915c919412SAndrey Smetanin 		return -EINVAL;
3925c919412SAndrey Smetanin 
3935c919412SAndrey Smetanin 	if (sint >= ARRAY_SIZE(synic->sint_to_gsi))
3945c919412SAndrey Smetanin 		return -EINVAL;
3955c919412SAndrey Smetanin 
3965c919412SAndrey Smetanin 	atomic_set(&synic->sint_to_gsi[sint], gsi);
3975c919412SAndrey Smetanin 	return 0;
3985c919412SAndrey Smetanin }
3995c919412SAndrey Smetanin 
4005c919412SAndrey Smetanin void kvm_hv_irq_routing_update(struct kvm *kvm)
4015c919412SAndrey Smetanin {
4025c919412SAndrey Smetanin 	struct kvm_irq_routing_table *irq_rt;
4035c919412SAndrey Smetanin 	struct kvm_kernel_irq_routing_entry *e;
4045c919412SAndrey Smetanin 	u32 gsi;
4055c919412SAndrey Smetanin 
4065c919412SAndrey Smetanin 	irq_rt = srcu_dereference_check(kvm->irq_routing, &kvm->irq_srcu,
4075c919412SAndrey Smetanin 					lockdep_is_held(&kvm->irq_lock));
4085c919412SAndrey Smetanin 
4095c919412SAndrey Smetanin 	for (gsi = 0; gsi < irq_rt->nr_rt_entries; gsi++) {
4105c919412SAndrey Smetanin 		hlist_for_each_entry(e, &irq_rt->map[gsi], link) {
4115c919412SAndrey Smetanin 			if (e->type == KVM_IRQ_ROUTING_HV_SINT)
4125c919412SAndrey Smetanin 				kvm_hv_set_sint_gsi(kvm, e->hv_sint.vcpu,
4135c919412SAndrey Smetanin 						    e->hv_sint.sint, gsi);
4145c919412SAndrey Smetanin 		}
4155c919412SAndrey Smetanin 	}
4165c919412SAndrey Smetanin }
4175c919412SAndrey Smetanin 
4185c919412SAndrey Smetanin static void synic_init(struct kvm_vcpu_hv_synic *synic)
4195c919412SAndrey Smetanin {
4205c919412SAndrey Smetanin 	int i;
4215c919412SAndrey Smetanin 
4225c919412SAndrey Smetanin 	memset(synic, 0, sizeof(*synic));
4235c919412SAndrey Smetanin 	synic->version = HV_SYNIC_VERSION_1;
4245c919412SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(synic->sint); i++) {
4255c919412SAndrey Smetanin 		atomic64_set(&synic->sint[i], HV_SYNIC_SINT_MASKED);
4265c919412SAndrey Smetanin 		atomic_set(&synic->sint_to_gsi[i], -1);
4275c919412SAndrey Smetanin 	}
4285c919412SAndrey Smetanin }
4295c919412SAndrey Smetanin 
43093bf4172SAndrey Smetanin static u64 get_time_ref_counter(struct kvm *kvm)
43193bf4172SAndrey Smetanin {
432095cf55dSPaolo Bonzini 	struct kvm_hv *hv = &kvm->arch.hyperv;
433095cf55dSPaolo Bonzini 	struct kvm_vcpu *vcpu;
434095cf55dSPaolo Bonzini 	u64 tsc;
435095cf55dSPaolo Bonzini 
436095cf55dSPaolo Bonzini 	/*
437095cf55dSPaolo Bonzini 	 * The guest has not set up the TSC page or the clock isn't
438095cf55dSPaolo Bonzini 	 * stable, fall back to get_kvmclock_ns.
439095cf55dSPaolo Bonzini 	 */
440095cf55dSPaolo Bonzini 	if (!hv->tsc_ref.tsc_sequence)
441108b249cSPaolo Bonzini 		return div_u64(get_kvmclock_ns(kvm), 100);
442095cf55dSPaolo Bonzini 
443095cf55dSPaolo Bonzini 	vcpu = kvm_get_vcpu(kvm, 0);
444095cf55dSPaolo Bonzini 	tsc = kvm_read_l1_tsc(vcpu, rdtsc());
445095cf55dSPaolo Bonzini 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)
446095cf55dSPaolo Bonzini 		+ hv->tsc_ref.tsc_offset;
44793bf4172SAndrey Smetanin }
44893bf4172SAndrey Smetanin 
449f3b138c5SAndrey Smetanin static void stimer_mark_pending(struct kvm_vcpu_hv_stimer *stimer,
4501f4b34f8SAndrey Smetanin 				bool vcpu_kick)
4511f4b34f8SAndrey Smetanin {
4521f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
4531f4b34f8SAndrey Smetanin 
4541f4b34f8SAndrey Smetanin 	set_bit(stimer->index,
4551f4b34f8SAndrey Smetanin 		vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap);
4561f4b34f8SAndrey Smetanin 	kvm_make_request(KVM_REQ_HV_STIMER, vcpu);
4571f4b34f8SAndrey Smetanin 	if (vcpu_kick)
4581f4b34f8SAndrey Smetanin 		kvm_vcpu_kick(vcpu);
4591f4b34f8SAndrey Smetanin }
4601f4b34f8SAndrey Smetanin 
4611f4b34f8SAndrey Smetanin static void stimer_cleanup(struct kvm_vcpu_hv_stimer *stimer)
4621f4b34f8SAndrey Smetanin {
4631f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
4641f4b34f8SAndrey Smetanin 
465ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_cleanup(stimer_to_vcpu(stimer)->vcpu_id,
466ac3e5fcaSAndrey Smetanin 				    stimer->index);
467ac3e5fcaSAndrey Smetanin 
468019b9781SAndrey Smetanin 	hrtimer_cancel(&stimer->timer);
4691f4b34f8SAndrey Smetanin 	clear_bit(stimer->index,
4701f4b34f8SAndrey Smetanin 		  vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap);
4711f4b34f8SAndrey Smetanin 	stimer->msg_pending = false;
472f808495dSAndrey Smetanin 	stimer->exp_time = 0;
4731f4b34f8SAndrey Smetanin }
4741f4b34f8SAndrey Smetanin 
4751f4b34f8SAndrey Smetanin static enum hrtimer_restart stimer_timer_callback(struct hrtimer *timer)
4761f4b34f8SAndrey Smetanin {
4771f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
4781f4b34f8SAndrey Smetanin 
4791f4b34f8SAndrey Smetanin 	stimer = container_of(timer, struct kvm_vcpu_hv_stimer, timer);
480ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_callback(stimer_to_vcpu(stimer)->vcpu_id,
481ac3e5fcaSAndrey Smetanin 				     stimer->index);
482f3b138c5SAndrey Smetanin 	stimer_mark_pending(stimer, true);
4831f4b34f8SAndrey Smetanin 
4841f4b34f8SAndrey Smetanin 	return HRTIMER_NORESTART;
4851f4b34f8SAndrey Smetanin }
4861f4b34f8SAndrey Smetanin 
487f808495dSAndrey Smetanin /*
488f808495dSAndrey Smetanin  * stimer_start() assumptions:
489f808495dSAndrey Smetanin  * a) stimer->count is not equal to 0
490f808495dSAndrey Smetanin  * b) stimer->config has HV_STIMER_ENABLE flag
491f808495dSAndrey Smetanin  */
4921f4b34f8SAndrey Smetanin static int stimer_start(struct kvm_vcpu_hv_stimer *stimer)
4931f4b34f8SAndrey Smetanin {
4941f4b34f8SAndrey Smetanin 	u64 time_now;
4951f4b34f8SAndrey Smetanin 	ktime_t ktime_now;
4961f4b34f8SAndrey Smetanin 
4971f4b34f8SAndrey Smetanin 	time_now = get_time_ref_counter(stimer_to_vcpu(stimer)->kvm);
4981f4b34f8SAndrey Smetanin 	ktime_now = ktime_get();
4991f4b34f8SAndrey Smetanin 
5001f4b34f8SAndrey Smetanin 	if (stimer->config & HV_STIMER_PERIODIC) {
501f808495dSAndrey Smetanin 		if (stimer->exp_time) {
502f808495dSAndrey Smetanin 			if (time_now >= stimer->exp_time) {
503f808495dSAndrey Smetanin 				u64 remainder;
5041f4b34f8SAndrey Smetanin 
505f808495dSAndrey Smetanin 				div64_u64_rem(time_now - stimer->exp_time,
506f808495dSAndrey Smetanin 					      stimer->count, &remainder);
507f808495dSAndrey Smetanin 				stimer->exp_time =
508f808495dSAndrey Smetanin 					time_now + (stimer->count - remainder);
509f808495dSAndrey Smetanin 			}
510f808495dSAndrey Smetanin 		} else
5111f4b34f8SAndrey Smetanin 			stimer->exp_time = time_now + stimer->count;
512f808495dSAndrey Smetanin 
513ac3e5fcaSAndrey Smetanin 		trace_kvm_hv_stimer_start_periodic(
514ac3e5fcaSAndrey Smetanin 					stimer_to_vcpu(stimer)->vcpu_id,
515ac3e5fcaSAndrey Smetanin 					stimer->index,
516ac3e5fcaSAndrey Smetanin 					time_now, stimer->exp_time);
517ac3e5fcaSAndrey Smetanin 
5181f4b34f8SAndrey Smetanin 		hrtimer_start(&stimer->timer,
519f808495dSAndrey Smetanin 			      ktime_add_ns(ktime_now,
520f808495dSAndrey Smetanin 					   100 * (stimer->exp_time - time_now)),
5211f4b34f8SAndrey Smetanin 			      HRTIMER_MODE_ABS);
5221f4b34f8SAndrey Smetanin 		return 0;
5231f4b34f8SAndrey Smetanin 	}
5241f4b34f8SAndrey Smetanin 	stimer->exp_time = stimer->count;
5251f4b34f8SAndrey Smetanin 	if (time_now >= stimer->count) {
5261f4b34f8SAndrey Smetanin 		/*
5271f4b34f8SAndrey Smetanin 		 * Expire timer according to Hypervisor Top-Level Functional
5281f4b34f8SAndrey Smetanin 		 * specification v4(15.3.1):
5291f4b34f8SAndrey Smetanin 		 * "If a one shot is enabled and the specified count is in
5301f4b34f8SAndrey Smetanin 		 * the past, it will expire immediately."
5311f4b34f8SAndrey Smetanin 		 */
532f3b138c5SAndrey Smetanin 		stimer_mark_pending(stimer, false);
5331f4b34f8SAndrey Smetanin 		return 0;
5341f4b34f8SAndrey Smetanin 	}
5351f4b34f8SAndrey Smetanin 
536ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_start_one_shot(stimer_to_vcpu(stimer)->vcpu_id,
537ac3e5fcaSAndrey Smetanin 					   stimer->index,
538ac3e5fcaSAndrey Smetanin 					   time_now, stimer->count);
539ac3e5fcaSAndrey Smetanin 
5401f4b34f8SAndrey Smetanin 	hrtimer_start(&stimer->timer,
5411f4b34f8SAndrey Smetanin 		      ktime_add_ns(ktime_now, 100 * (stimer->count - time_now)),
5421f4b34f8SAndrey Smetanin 		      HRTIMER_MODE_ABS);
5431f4b34f8SAndrey Smetanin 	return 0;
5441f4b34f8SAndrey Smetanin }
5451f4b34f8SAndrey Smetanin 
5461f4b34f8SAndrey Smetanin static int stimer_set_config(struct kvm_vcpu_hv_stimer *stimer, u64 config,
5471f4b34f8SAndrey Smetanin 			     bool host)
5481f4b34f8SAndrey Smetanin {
549ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_set_config(stimer_to_vcpu(stimer)->vcpu_id,
550ac3e5fcaSAndrey Smetanin 				       stimer->index, config, host);
551ac3e5fcaSAndrey Smetanin 
552f3b138c5SAndrey Smetanin 	stimer_cleanup(stimer);
55323a3b201SAndrey Smetanin 	if ((stimer->config & HV_STIMER_ENABLE) && HV_STIMER_SINT(config) == 0)
5541f4b34f8SAndrey Smetanin 		config &= ~HV_STIMER_ENABLE;
5551f4b34f8SAndrey Smetanin 	stimer->config = config;
556f3b138c5SAndrey Smetanin 	stimer_mark_pending(stimer, false);
5571f4b34f8SAndrey Smetanin 	return 0;
5581f4b34f8SAndrey Smetanin }
5591f4b34f8SAndrey Smetanin 
5601f4b34f8SAndrey Smetanin static int stimer_set_count(struct kvm_vcpu_hv_stimer *stimer, u64 count,
5611f4b34f8SAndrey Smetanin 			    bool host)
5621f4b34f8SAndrey Smetanin {
563ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_set_count(stimer_to_vcpu(stimer)->vcpu_id,
564ac3e5fcaSAndrey Smetanin 				      stimer->index, count, host);
565ac3e5fcaSAndrey Smetanin 
5661f4b34f8SAndrey Smetanin 	stimer_cleanup(stimer);
567f3b138c5SAndrey Smetanin 	stimer->count = count;
5681f4b34f8SAndrey Smetanin 	if (stimer->count == 0)
5691f4b34f8SAndrey Smetanin 		stimer->config &= ~HV_STIMER_ENABLE;
570f3b138c5SAndrey Smetanin 	else if (stimer->config & HV_STIMER_AUTOENABLE)
5711f4b34f8SAndrey Smetanin 		stimer->config |= HV_STIMER_ENABLE;
572f3b138c5SAndrey Smetanin 	stimer_mark_pending(stimer, false);
5731f4b34f8SAndrey Smetanin 	return 0;
5741f4b34f8SAndrey Smetanin }
5751f4b34f8SAndrey Smetanin 
5761f4b34f8SAndrey Smetanin static int stimer_get_config(struct kvm_vcpu_hv_stimer *stimer, u64 *pconfig)
5771f4b34f8SAndrey Smetanin {
5781f4b34f8SAndrey Smetanin 	*pconfig = stimer->config;
5791f4b34f8SAndrey Smetanin 	return 0;
5801f4b34f8SAndrey Smetanin }
5811f4b34f8SAndrey Smetanin 
5821f4b34f8SAndrey Smetanin static int stimer_get_count(struct kvm_vcpu_hv_stimer *stimer, u64 *pcount)
5831f4b34f8SAndrey Smetanin {
5841f4b34f8SAndrey Smetanin 	*pcount = stimer->count;
5851f4b34f8SAndrey Smetanin 	return 0;
5861f4b34f8SAndrey Smetanin }
5871f4b34f8SAndrey Smetanin 
5881f4b34f8SAndrey Smetanin static int synic_deliver_msg(struct kvm_vcpu_hv_synic *synic, u32 sint,
5891f4b34f8SAndrey Smetanin 			     struct hv_message *src_msg)
5901f4b34f8SAndrey Smetanin {
5911f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
5921f4b34f8SAndrey Smetanin 	struct page *page;
5931f4b34f8SAndrey Smetanin 	gpa_t gpa;
5941f4b34f8SAndrey Smetanin 	struct hv_message *dst_msg;
5951f4b34f8SAndrey Smetanin 	int r;
5961f4b34f8SAndrey Smetanin 	struct hv_message_page *msg_page;
5971f4b34f8SAndrey Smetanin 
5981f4b34f8SAndrey Smetanin 	if (!(synic->msg_page & HV_SYNIC_SIMP_ENABLE))
5991f4b34f8SAndrey Smetanin 		return -ENOENT;
6001f4b34f8SAndrey Smetanin 
6011f4b34f8SAndrey Smetanin 	gpa = synic->msg_page & PAGE_MASK;
6021f4b34f8SAndrey Smetanin 	page = kvm_vcpu_gfn_to_page(vcpu, gpa >> PAGE_SHIFT);
6031f4b34f8SAndrey Smetanin 	if (is_error_page(page))
6041f4b34f8SAndrey Smetanin 		return -EFAULT;
6051f4b34f8SAndrey Smetanin 
6061f4b34f8SAndrey Smetanin 	msg_page = kmap_atomic(page);
6071f4b34f8SAndrey Smetanin 	dst_msg = &msg_page->sint_message[sint];
6081f4b34f8SAndrey Smetanin 	if (sync_cmpxchg(&dst_msg->header.message_type, HVMSG_NONE,
6091f4b34f8SAndrey Smetanin 			 src_msg->header.message_type) != HVMSG_NONE) {
6101f4b34f8SAndrey Smetanin 		dst_msg->header.message_flags.msg_pending = 1;
6111f4b34f8SAndrey Smetanin 		r = -EAGAIN;
6121f4b34f8SAndrey Smetanin 	} else {
6131f4b34f8SAndrey Smetanin 		memcpy(&dst_msg->u.payload, &src_msg->u.payload,
6141f4b34f8SAndrey Smetanin 		       src_msg->header.payload_size);
6151f4b34f8SAndrey Smetanin 		dst_msg->header.message_type = src_msg->header.message_type;
6161f4b34f8SAndrey Smetanin 		dst_msg->header.payload_size = src_msg->header.payload_size;
6171f4b34f8SAndrey Smetanin 		r = synic_set_irq(synic, sint);
6181f4b34f8SAndrey Smetanin 		if (r >= 1)
6191f4b34f8SAndrey Smetanin 			r = 0;
6201f4b34f8SAndrey Smetanin 		else if (r == 0)
6211f4b34f8SAndrey Smetanin 			r = -EFAULT;
6221f4b34f8SAndrey Smetanin 	}
6231f4b34f8SAndrey Smetanin 	kunmap_atomic(msg_page);
6241f4b34f8SAndrey Smetanin 	kvm_release_page_dirty(page);
6251f4b34f8SAndrey Smetanin 	kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT);
6261f4b34f8SAndrey Smetanin 	return r;
6271f4b34f8SAndrey Smetanin }
6281f4b34f8SAndrey Smetanin 
6290cdeabb1SAndrey Smetanin static int stimer_send_msg(struct kvm_vcpu_hv_stimer *stimer)
6301f4b34f8SAndrey Smetanin {
6311f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
6321f4b34f8SAndrey Smetanin 	struct hv_message *msg = &stimer->msg;
6331f4b34f8SAndrey Smetanin 	struct hv_timer_message_payload *payload =
6341f4b34f8SAndrey Smetanin 			(struct hv_timer_message_payload *)&msg->u.payload;
6351f4b34f8SAndrey Smetanin 
6361f4b34f8SAndrey Smetanin 	payload->expiration_time = stimer->exp_time;
6371f4b34f8SAndrey Smetanin 	payload->delivery_time = get_time_ref_counter(vcpu->kvm);
6380cdeabb1SAndrey Smetanin 	return synic_deliver_msg(vcpu_to_synic(vcpu),
6391f4b34f8SAndrey Smetanin 				 HV_STIMER_SINT(stimer->config), msg);
6401f4b34f8SAndrey Smetanin }
6411f4b34f8SAndrey Smetanin 
6421f4b34f8SAndrey Smetanin static void stimer_expiration(struct kvm_vcpu_hv_stimer *stimer)
6431f4b34f8SAndrey Smetanin {
644ac3e5fcaSAndrey Smetanin 	int r;
645ac3e5fcaSAndrey Smetanin 
6460cdeabb1SAndrey Smetanin 	stimer->msg_pending = true;
647ac3e5fcaSAndrey Smetanin 	r = stimer_send_msg(stimer);
648ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_expiration(stimer_to_vcpu(stimer)->vcpu_id,
649ac3e5fcaSAndrey Smetanin 				       stimer->index, r);
650ac3e5fcaSAndrey Smetanin 	if (!r) {
6510cdeabb1SAndrey Smetanin 		stimer->msg_pending = false;
6521f4b34f8SAndrey Smetanin 		if (!(stimer->config & HV_STIMER_PERIODIC))
6531ac1b65aSAndrey Smetanin 			stimer->config &= ~HV_STIMER_ENABLE;
6540cdeabb1SAndrey Smetanin 	}
6551f4b34f8SAndrey Smetanin }
6561f4b34f8SAndrey Smetanin 
6571f4b34f8SAndrey Smetanin void kvm_hv_process_stimers(struct kvm_vcpu *vcpu)
6581f4b34f8SAndrey Smetanin {
6591f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
6601f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
661f3b138c5SAndrey Smetanin 	u64 time_now, exp_time;
6621f4b34f8SAndrey Smetanin 	int i;
6631f4b34f8SAndrey Smetanin 
6641f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
6651f4b34f8SAndrey Smetanin 		if (test_and_clear_bit(i, hv_vcpu->stimer_pending_bitmap)) {
6661f4b34f8SAndrey Smetanin 			stimer = &hv_vcpu->stimer[i];
6671f4b34f8SAndrey Smetanin 			if (stimer->config & HV_STIMER_ENABLE) {
668f3b138c5SAndrey Smetanin 				exp_time = stimer->exp_time;
6690cdeabb1SAndrey Smetanin 
670f3b138c5SAndrey Smetanin 				if (exp_time) {
671f3b138c5SAndrey Smetanin 					time_now =
672f3b138c5SAndrey Smetanin 						get_time_ref_counter(vcpu->kvm);
673f3b138c5SAndrey Smetanin 					if (time_now >= exp_time)
674f3b138c5SAndrey Smetanin 						stimer_expiration(stimer);
675f3b138c5SAndrey Smetanin 				}
676f3b138c5SAndrey Smetanin 
677f3b138c5SAndrey Smetanin 				if ((stimer->config & HV_STIMER_ENABLE) &&
678f1ff89ecSRoman Kagan 				    stimer->count) {
679f1ff89ecSRoman Kagan 					if (!stimer->msg_pending)
6800cdeabb1SAndrey Smetanin 						stimer_start(stimer);
681f1ff89ecSRoman Kagan 				} else
6820cdeabb1SAndrey Smetanin 					stimer_cleanup(stimer);
6831f4b34f8SAndrey Smetanin 			}
6841f4b34f8SAndrey Smetanin 		}
6851f4b34f8SAndrey Smetanin }
6861f4b34f8SAndrey Smetanin 
6871f4b34f8SAndrey Smetanin void kvm_hv_vcpu_uninit(struct kvm_vcpu *vcpu)
6881f4b34f8SAndrey Smetanin {
6891f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
6901f4b34f8SAndrey Smetanin 	int i;
6911f4b34f8SAndrey Smetanin 
6921f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
6931f4b34f8SAndrey Smetanin 		stimer_cleanup(&hv_vcpu->stimer[i]);
6941f4b34f8SAndrey Smetanin }
6951f4b34f8SAndrey Smetanin 
6961f4b34f8SAndrey Smetanin static void stimer_prepare_msg(struct kvm_vcpu_hv_stimer *stimer)
6971f4b34f8SAndrey Smetanin {
6981f4b34f8SAndrey Smetanin 	struct hv_message *msg = &stimer->msg;
6991f4b34f8SAndrey Smetanin 	struct hv_timer_message_payload *payload =
7001f4b34f8SAndrey Smetanin 			(struct hv_timer_message_payload *)&msg->u.payload;
7011f4b34f8SAndrey Smetanin 
7021f4b34f8SAndrey Smetanin 	memset(&msg->header, 0, sizeof(msg->header));
7031f4b34f8SAndrey Smetanin 	msg->header.message_type = HVMSG_TIMER_EXPIRED;
7041f4b34f8SAndrey Smetanin 	msg->header.payload_size = sizeof(*payload);
7051f4b34f8SAndrey Smetanin 
7061f4b34f8SAndrey Smetanin 	payload->timer_index = stimer->index;
7071f4b34f8SAndrey Smetanin 	payload->expiration_time = 0;
7081f4b34f8SAndrey Smetanin 	payload->delivery_time = 0;
7091f4b34f8SAndrey Smetanin }
7101f4b34f8SAndrey Smetanin 
7111f4b34f8SAndrey Smetanin static void stimer_init(struct kvm_vcpu_hv_stimer *stimer, int timer_index)
7121f4b34f8SAndrey Smetanin {
7131f4b34f8SAndrey Smetanin 	memset(stimer, 0, sizeof(*stimer));
7141f4b34f8SAndrey Smetanin 	stimer->index = timer_index;
7151f4b34f8SAndrey Smetanin 	hrtimer_init(&stimer->timer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);
7161f4b34f8SAndrey Smetanin 	stimer->timer.function = stimer_timer_callback;
7171f4b34f8SAndrey Smetanin 	stimer_prepare_msg(stimer);
7181f4b34f8SAndrey Smetanin }
7191f4b34f8SAndrey Smetanin 
7205c919412SAndrey Smetanin void kvm_hv_vcpu_init(struct kvm_vcpu *vcpu)
7215c919412SAndrey Smetanin {
7221f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
7231f4b34f8SAndrey Smetanin 	int i;
7241f4b34f8SAndrey Smetanin 
7251f4b34f8SAndrey Smetanin 	synic_init(&hv_vcpu->synic);
7261f4b34f8SAndrey Smetanin 
7271f4b34f8SAndrey Smetanin 	bitmap_zero(hv_vcpu->stimer_pending_bitmap, HV_SYNIC_STIMER_COUNT);
7281f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
7291f4b34f8SAndrey Smetanin 		stimer_init(&hv_vcpu->stimer[i], i);
7305c919412SAndrey Smetanin }
7315c919412SAndrey Smetanin 
732d3457c87SRoman Kagan void kvm_hv_vcpu_postcreate(struct kvm_vcpu *vcpu)
733d3457c87SRoman Kagan {
734d3457c87SRoman Kagan 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
735d3457c87SRoman Kagan 
736d3457c87SRoman Kagan 	hv_vcpu->vp_index = kvm_vcpu_get_idx(vcpu);
737d3457c87SRoman Kagan }
738d3457c87SRoman Kagan 
739efc479e6SRoman Kagan int kvm_hv_activate_synic(struct kvm_vcpu *vcpu, bool dont_zero_synic_pages)
7405c919412SAndrey Smetanin {
741efc479e6SRoman Kagan 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
742efc479e6SRoman Kagan 
7435c919412SAndrey Smetanin 	/*
7445c919412SAndrey Smetanin 	 * Hyper-V SynIC auto EOI SINT's are
7455c919412SAndrey Smetanin 	 * not compatible with APICV, so deactivate APICV
7465c919412SAndrey Smetanin 	 */
7475c919412SAndrey Smetanin 	kvm_vcpu_deactivate_apicv(vcpu);
748efc479e6SRoman Kagan 	synic->active = true;
749efc479e6SRoman Kagan 	synic->dont_zero_synic_pages = dont_zero_synic_pages;
7505c919412SAndrey Smetanin 	return 0;
7515c919412SAndrey Smetanin }
7525c919412SAndrey Smetanin 
753e83d5887SAndrey Smetanin static bool kvm_hv_msr_partition_wide(u32 msr)
754e83d5887SAndrey Smetanin {
755e83d5887SAndrey Smetanin 	bool r = false;
756e83d5887SAndrey Smetanin 
757e83d5887SAndrey Smetanin 	switch (msr) {
758e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
759e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL:
760e83d5887SAndrey Smetanin 	case HV_X64_MSR_REFERENCE_TSC:
761e83d5887SAndrey Smetanin 	case HV_X64_MSR_TIME_REF_COUNT:
762e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
763e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
764e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
765a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
766a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
767a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
768e83d5887SAndrey Smetanin 		r = true;
769e83d5887SAndrey Smetanin 		break;
770e83d5887SAndrey Smetanin 	}
771e83d5887SAndrey Smetanin 
772e83d5887SAndrey Smetanin 	return r;
773e83d5887SAndrey Smetanin }
774e83d5887SAndrey Smetanin 
775e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_data(struct kvm_vcpu *vcpu,
776e7d9513bSAndrey Smetanin 				     u32 index, u64 *pdata)
777e7d9513bSAndrey Smetanin {
778e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
779e7d9513bSAndrey Smetanin 
780e7d9513bSAndrey Smetanin 	if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param)))
781e7d9513bSAndrey Smetanin 		return -EINVAL;
782e7d9513bSAndrey Smetanin 
783e7d9513bSAndrey Smetanin 	*pdata = hv->hv_crash_param[index];
784e7d9513bSAndrey Smetanin 	return 0;
785e7d9513bSAndrey Smetanin }
786e7d9513bSAndrey Smetanin 
787e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_ctl(struct kvm_vcpu *vcpu, u64 *pdata)
788e7d9513bSAndrey Smetanin {
789e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
790e7d9513bSAndrey Smetanin 
791e7d9513bSAndrey Smetanin 	*pdata = hv->hv_crash_ctl;
792e7d9513bSAndrey Smetanin 	return 0;
793e7d9513bSAndrey Smetanin }
794e7d9513bSAndrey Smetanin 
795e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_ctl(struct kvm_vcpu *vcpu, u64 data, bool host)
796e7d9513bSAndrey Smetanin {
797e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
798e7d9513bSAndrey Smetanin 
799e7d9513bSAndrey Smetanin 	if (host)
800e7d9513bSAndrey Smetanin 		hv->hv_crash_ctl = data & HV_X64_MSR_CRASH_CTL_NOTIFY;
801e7d9513bSAndrey Smetanin 
802e7d9513bSAndrey Smetanin 	if (!host && (data & HV_X64_MSR_CRASH_CTL_NOTIFY)) {
803e7d9513bSAndrey Smetanin 
804e7d9513bSAndrey Smetanin 		vcpu_debug(vcpu, "hv crash (0x%llx 0x%llx 0x%llx 0x%llx 0x%llx)\n",
805e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[0],
806e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[1],
807e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[2],
808e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[3],
809e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[4]);
810e7d9513bSAndrey Smetanin 
811e7d9513bSAndrey Smetanin 		/* Send notification about crash to user space */
812e7d9513bSAndrey Smetanin 		kvm_make_request(KVM_REQ_HV_CRASH, vcpu);
813e7d9513bSAndrey Smetanin 	}
814e7d9513bSAndrey Smetanin 
815e7d9513bSAndrey Smetanin 	return 0;
816e7d9513bSAndrey Smetanin }
817e7d9513bSAndrey Smetanin 
818e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_data(struct kvm_vcpu *vcpu,
819e7d9513bSAndrey Smetanin 				     u32 index, u64 data)
820e7d9513bSAndrey Smetanin {
821e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
822e7d9513bSAndrey Smetanin 
823e7d9513bSAndrey Smetanin 	if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param)))
824e7d9513bSAndrey Smetanin 		return -EINVAL;
825e7d9513bSAndrey Smetanin 
826e7d9513bSAndrey Smetanin 	hv->hv_crash_param[index] = data;
827e7d9513bSAndrey Smetanin 	return 0;
828e7d9513bSAndrey Smetanin }
829e7d9513bSAndrey Smetanin 
830095cf55dSPaolo Bonzini /*
831095cf55dSPaolo Bonzini  * The kvmclock and Hyper-V TSC page use similar formulas, and converting
832095cf55dSPaolo Bonzini  * between them is possible:
833095cf55dSPaolo Bonzini  *
834095cf55dSPaolo Bonzini  * kvmclock formula:
835095cf55dSPaolo Bonzini  *    nsec = (ticks - tsc_timestamp) * tsc_to_system_mul * 2^(tsc_shift-32)
836095cf55dSPaolo Bonzini  *           + system_time
837095cf55dSPaolo Bonzini  *
838095cf55dSPaolo Bonzini  * Hyper-V formula:
839095cf55dSPaolo Bonzini  *    nsec/100 = ticks * scale / 2^64 + offset
840095cf55dSPaolo Bonzini  *
841095cf55dSPaolo Bonzini  * When tsc_timestamp = system_time = 0, offset is zero in the Hyper-V formula.
842095cf55dSPaolo Bonzini  * By dividing the kvmclock formula by 100 and equating what's left we get:
843095cf55dSPaolo Bonzini  *    ticks * scale / 2^64 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100
844095cf55dSPaolo Bonzini  *            scale / 2^64 =         tsc_to_system_mul * 2^(tsc_shift-32) / 100
845095cf55dSPaolo Bonzini  *            scale        =         tsc_to_system_mul * 2^(32+tsc_shift) / 100
846095cf55dSPaolo Bonzini  *
847095cf55dSPaolo Bonzini  * Now expand the kvmclock formula and divide by 100:
848095cf55dSPaolo Bonzini  *    nsec = ticks * tsc_to_system_mul * 2^(tsc_shift-32)
849095cf55dSPaolo Bonzini  *           - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32)
850095cf55dSPaolo Bonzini  *           + system_time
851095cf55dSPaolo Bonzini  *    nsec/100 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100
852095cf55dSPaolo Bonzini  *               - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32) / 100
853095cf55dSPaolo Bonzini  *               + system_time / 100
854095cf55dSPaolo Bonzini  *
855095cf55dSPaolo Bonzini  * Replace tsc_to_system_mul * 2^(tsc_shift-32) / 100 by scale / 2^64:
856095cf55dSPaolo Bonzini  *    nsec/100 = ticks * scale / 2^64
857095cf55dSPaolo Bonzini  *               - tsc_timestamp * scale / 2^64
858095cf55dSPaolo Bonzini  *               + system_time / 100
859095cf55dSPaolo Bonzini  *
860095cf55dSPaolo Bonzini  * Equate with the Hyper-V formula so that ticks * scale / 2^64 cancels out:
861095cf55dSPaolo Bonzini  *    offset = system_time / 100 - tsc_timestamp * scale / 2^64
862095cf55dSPaolo Bonzini  *
863095cf55dSPaolo Bonzini  * These two equivalencies are implemented in this function.
864095cf55dSPaolo Bonzini  */
865095cf55dSPaolo Bonzini static bool compute_tsc_page_parameters(struct pvclock_vcpu_time_info *hv_clock,
866095cf55dSPaolo Bonzini 					HV_REFERENCE_TSC_PAGE *tsc_ref)
867095cf55dSPaolo Bonzini {
868095cf55dSPaolo Bonzini 	u64 max_mul;
869095cf55dSPaolo Bonzini 
870095cf55dSPaolo Bonzini 	if (!(hv_clock->flags & PVCLOCK_TSC_STABLE_BIT))
871095cf55dSPaolo Bonzini 		return false;
872095cf55dSPaolo Bonzini 
873095cf55dSPaolo Bonzini 	/*
874095cf55dSPaolo Bonzini 	 * check if scale would overflow, if so we use the time ref counter
875095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul * 2^(tsc_shift+32) / 100 >= 2^64
876095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul / 100 >= 2^(32-tsc_shift)
877095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul >= 100 * 2^(32-tsc_shift)
878095cf55dSPaolo Bonzini 	 */
879095cf55dSPaolo Bonzini 	max_mul = 100ull << (32 - hv_clock->tsc_shift);
880095cf55dSPaolo Bonzini 	if (hv_clock->tsc_to_system_mul >= max_mul)
881095cf55dSPaolo Bonzini 		return false;
882095cf55dSPaolo Bonzini 
883095cf55dSPaolo Bonzini 	/*
884095cf55dSPaolo Bonzini 	 * Otherwise compute the scale and offset according to the formulas
885095cf55dSPaolo Bonzini 	 * derived above.
886095cf55dSPaolo Bonzini 	 */
887095cf55dSPaolo Bonzini 	tsc_ref->tsc_scale =
888095cf55dSPaolo Bonzini 		mul_u64_u32_div(1ULL << (32 + hv_clock->tsc_shift),
889095cf55dSPaolo Bonzini 				hv_clock->tsc_to_system_mul,
890095cf55dSPaolo Bonzini 				100);
891095cf55dSPaolo Bonzini 
892095cf55dSPaolo Bonzini 	tsc_ref->tsc_offset = hv_clock->system_time;
893095cf55dSPaolo Bonzini 	do_div(tsc_ref->tsc_offset, 100);
894095cf55dSPaolo Bonzini 	tsc_ref->tsc_offset -=
895095cf55dSPaolo Bonzini 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);
896095cf55dSPaolo Bonzini 	return true;
897095cf55dSPaolo Bonzini }
898095cf55dSPaolo Bonzini 
899095cf55dSPaolo Bonzini void kvm_hv_setup_tsc_page(struct kvm *kvm,
900095cf55dSPaolo Bonzini 			   struct pvclock_vcpu_time_info *hv_clock)
901095cf55dSPaolo Bonzini {
902095cf55dSPaolo Bonzini 	struct kvm_hv *hv = &kvm->arch.hyperv;
903095cf55dSPaolo Bonzini 	u32 tsc_seq;
904095cf55dSPaolo Bonzini 	u64 gfn;
905095cf55dSPaolo Bonzini 
906095cf55dSPaolo Bonzini 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));
907095cf55dSPaolo Bonzini 	BUILD_BUG_ON(offsetof(HV_REFERENCE_TSC_PAGE, tsc_sequence) != 0);
908095cf55dSPaolo Bonzini 
909095cf55dSPaolo Bonzini 	if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE))
910095cf55dSPaolo Bonzini 		return;
911095cf55dSPaolo Bonzini 
9123f5ad8beSPaolo Bonzini 	mutex_lock(&kvm->arch.hyperv.hv_lock);
9133f5ad8beSPaolo Bonzini 	if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE))
9143f5ad8beSPaolo Bonzini 		goto out_unlock;
9153f5ad8beSPaolo Bonzini 
916095cf55dSPaolo Bonzini 	gfn = hv->hv_tsc_page >> HV_X64_MSR_TSC_REFERENCE_ADDRESS_SHIFT;
917095cf55dSPaolo Bonzini 	/*
918095cf55dSPaolo Bonzini 	 * Because the TSC parameters only vary when there is a
919095cf55dSPaolo Bonzini 	 * change in the master clock, do not bother with caching.
920095cf55dSPaolo Bonzini 	 */
921095cf55dSPaolo Bonzini 	if (unlikely(kvm_read_guest(kvm, gfn_to_gpa(gfn),
922095cf55dSPaolo Bonzini 				    &tsc_seq, sizeof(tsc_seq))))
9233f5ad8beSPaolo Bonzini 		goto out_unlock;
924095cf55dSPaolo Bonzini 
925095cf55dSPaolo Bonzini 	/*
926095cf55dSPaolo Bonzini 	 * While we're computing and writing the parameters, force the
927095cf55dSPaolo Bonzini 	 * guest to use the time reference count MSR.
928095cf55dSPaolo Bonzini 	 */
929095cf55dSPaolo Bonzini 	hv->tsc_ref.tsc_sequence = 0;
930095cf55dSPaolo Bonzini 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn),
931095cf55dSPaolo Bonzini 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))
9323f5ad8beSPaolo Bonzini 		goto out_unlock;
933095cf55dSPaolo Bonzini 
934095cf55dSPaolo Bonzini 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))
9353f5ad8beSPaolo Bonzini 		goto out_unlock;
936095cf55dSPaolo Bonzini 
937095cf55dSPaolo Bonzini 	/* Ensure sequence is zero before writing the rest of the struct.  */
938095cf55dSPaolo Bonzini 	smp_wmb();
939095cf55dSPaolo Bonzini 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))
9403f5ad8beSPaolo Bonzini 		goto out_unlock;
941095cf55dSPaolo Bonzini 
942095cf55dSPaolo Bonzini 	/*
943095cf55dSPaolo Bonzini 	 * Now switch to the TSC page mechanism by writing the sequence.
944095cf55dSPaolo Bonzini 	 */
945095cf55dSPaolo Bonzini 	tsc_seq++;
946095cf55dSPaolo Bonzini 	if (tsc_seq == 0xFFFFFFFF || tsc_seq == 0)
947095cf55dSPaolo Bonzini 		tsc_seq = 1;
948095cf55dSPaolo Bonzini 
949095cf55dSPaolo Bonzini 	/* Write the struct entirely before the non-zero sequence.  */
950095cf55dSPaolo Bonzini 	smp_wmb();
951095cf55dSPaolo Bonzini 
952095cf55dSPaolo Bonzini 	hv->tsc_ref.tsc_sequence = tsc_seq;
953095cf55dSPaolo Bonzini 	kvm_write_guest(kvm, gfn_to_gpa(gfn),
954095cf55dSPaolo Bonzini 			&hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence));
9553f5ad8beSPaolo Bonzini out_unlock:
9563f5ad8beSPaolo Bonzini 	mutex_unlock(&kvm->arch.hyperv.hv_lock);
957095cf55dSPaolo Bonzini }
958095cf55dSPaolo Bonzini 
959e7d9513bSAndrey Smetanin static int kvm_hv_set_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 data,
960e7d9513bSAndrey Smetanin 			     bool host)
961e83d5887SAndrey Smetanin {
962e83d5887SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
963e83d5887SAndrey Smetanin 	struct kvm_hv *hv = &kvm->arch.hyperv;
964e83d5887SAndrey Smetanin 
965e83d5887SAndrey Smetanin 	switch (msr) {
966e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
967e83d5887SAndrey Smetanin 		hv->hv_guest_os_id = data;
968e83d5887SAndrey Smetanin 		/* setting guest os id to zero disables hypercall page */
969e83d5887SAndrey Smetanin 		if (!hv->hv_guest_os_id)
970e83d5887SAndrey Smetanin 			hv->hv_hypercall &= ~HV_X64_MSR_HYPERCALL_ENABLE;
971e83d5887SAndrey Smetanin 		break;
972e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL: {
973e83d5887SAndrey Smetanin 		u64 gfn;
974e83d5887SAndrey Smetanin 		unsigned long addr;
975e83d5887SAndrey Smetanin 		u8 instructions[4];
976e83d5887SAndrey Smetanin 
977e83d5887SAndrey Smetanin 		/* if guest os id is not set hypercall should remain disabled */
978e83d5887SAndrey Smetanin 		if (!hv->hv_guest_os_id)
979e83d5887SAndrey Smetanin 			break;
980e83d5887SAndrey Smetanin 		if (!(data & HV_X64_MSR_HYPERCALL_ENABLE)) {
981e83d5887SAndrey Smetanin 			hv->hv_hypercall = data;
982e83d5887SAndrey Smetanin 			break;
983e83d5887SAndrey Smetanin 		}
984e83d5887SAndrey Smetanin 		gfn = data >> HV_X64_MSR_HYPERCALL_PAGE_ADDRESS_SHIFT;
985e83d5887SAndrey Smetanin 		addr = gfn_to_hva(kvm, gfn);
986e83d5887SAndrey Smetanin 		if (kvm_is_error_hva(addr))
987e83d5887SAndrey Smetanin 			return 1;
988e83d5887SAndrey Smetanin 		kvm_x86_ops->patch_hypercall(vcpu, instructions);
989e83d5887SAndrey Smetanin 		((unsigned char *)instructions)[3] = 0xc3; /* ret */
990e83d5887SAndrey Smetanin 		if (__copy_to_user((void __user *)addr, instructions, 4))
991e83d5887SAndrey Smetanin 			return 1;
992e83d5887SAndrey Smetanin 		hv->hv_hypercall = data;
993e83d5887SAndrey Smetanin 		mark_page_dirty(kvm, gfn);
994e83d5887SAndrey Smetanin 		break;
995e83d5887SAndrey Smetanin 	}
996095cf55dSPaolo Bonzini 	case HV_X64_MSR_REFERENCE_TSC:
997e83d5887SAndrey Smetanin 		hv->hv_tsc_page = data;
998095cf55dSPaolo Bonzini 		if (hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE)
999095cf55dSPaolo Bonzini 			kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
1000e83d5887SAndrey Smetanin 		break;
1001e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
1002e7d9513bSAndrey Smetanin 		return kvm_hv_msr_set_crash_data(vcpu,
1003e7d9513bSAndrey Smetanin 						 msr - HV_X64_MSR_CRASH_P0,
1004e7d9513bSAndrey Smetanin 						 data);
1005e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
1006e7d9513bSAndrey Smetanin 		return kvm_hv_msr_set_crash_ctl(vcpu, data, host);
1007e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
1008e516cebbSAndrey Smetanin 		if (data == 1) {
1009e516cebbSAndrey Smetanin 			vcpu_debug(vcpu, "hyper-v reset requested\n");
1010e516cebbSAndrey Smetanin 			kvm_make_request(KVM_REQ_HV_RESET, vcpu);
1011e516cebbSAndrey Smetanin 		}
1012e516cebbSAndrey Smetanin 		break;
1013a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
1014a2e164e7SVitaly Kuznetsov 		hv->hv_reenlightenment_control = data;
1015a2e164e7SVitaly Kuznetsov 		break;
1016a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
1017a2e164e7SVitaly Kuznetsov 		hv->hv_tsc_emulation_control = data;
1018a2e164e7SVitaly Kuznetsov 		break;
1019a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
1020a2e164e7SVitaly Kuznetsov 		hv->hv_tsc_emulation_status = data;
1021a2e164e7SVitaly Kuznetsov 		break;
102244883f01SPaolo Bonzini 	case HV_X64_MSR_TIME_REF_COUNT:
102344883f01SPaolo Bonzini 		/* read-only, but still ignore it if host-initiated */
102444883f01SPaolo Bonzini 		if (!host)
102544883f01SPaolo Bonzini 			return 1;
102644883f01SPaolo Bonzini 		break;
1027e83d5887SAndrey Smetanin 	default:
1028e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n",
1029e83d5887SAndrey Smetanin 			    msr, data);
1030e83d5887SAndrey Smetanin 		return 1;
1031e83d5887SAndrey Smetanin 	}
1032e83d5887SAndrey Smetanin 	return 0;
1033e83d5887SAndrey Smetanin }
1034e83d5887SAndrey Smetanin 
10359eec50b8SAndrey Smetanin /* Calculate cpu time spent by current task in 100ns units */
10369eec50b8SAndrey Smetanin static u64 current_task_runtime_100ns(void)
10379eec50b8SAndrey Smetanin {
10385613fda9SFrederic Weisbecker 	u64 utime, stime;
10399eec50b8SAndrey Smetanin 
10409eec50b8SAndrey Smetanin 	task_cputime_adjusted(current, &utime, &stime);
10415613fda9SFrederic Weisbecker 
10425613fda9SFrederic Weisbecker 	return div_u64(utime + stime, 100);
10439eec50b8SAndrey Smetanin }
10449eec50b8SAndrey Smetanin 
10459eec50b8SAndrey Smetanin static int kvm_hv_set_msr(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host)
1046e83d5887SAndrey Smetanin {
10471779a39fSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
1048e83d5887SAndrey Smetanin 
1049e83d5887SAndrey Smetanin 	switch (msr) {
105087ee613dSVitaly Kuznetsov 	case HV_X64_MSR_VP_INDEX: {
105187ee613dSVitaly Kuznetsov 		struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
105287ee613dSVitaly Kuznetsov 		int vcpu_idx = kvm_vcpu_get_idx(vcpu);
105387ee613dSVitaly Kuznetsov 		u32 new_vp_index = (u32)data;
105487ee613dSVitaly Kuznetsov 
105587ee613dSVitaly Kuznetsov 		if (!host || new_vp_index >= KVM_MAX_VCPUS)
1056d3457c87SRoman Kagan 			return 1;
105787ee613dSVitaly Kuznetsov 
105887ee613dSVitaly Kuznetsov 		if (new_vp_index == hv_vcpu->vp_index)
105987ee613dSVitaly Kuznetsov 			return 0;
106087ee613dSVitaly Kuznetsov 
106187ee613dSVitaly Kuznetsov 		/*
106287ee613dSVitaly Kuznetsov 		 * The VP index is initialized to vcpu_index by
106387ee613dSVitaly Kuznetsov 		 * kvm_hv_vcpu_postcreate so they initially match.  Now the
106487ee613dSVitaly Kuznetsov 		 * VP index is changing, adjust num_mismatched_vp_indexes if
106587ee613dSVitaly Kuznetsov 		 * it now matches or no longer matches vcpu_idx.
106687ee613dSVitaly Kuznetsov 		 */
106787ee613dSVitaly Kuznetsov 		if (hv_vcpu->vp_index == vcpu_idx)
106887ee613dSVitaly Kuznetsov 			atomic_inc(&hv->num_mismatched_vp_indexes);
106987ee613dSVitaly Kuznetsov 		else if (new_vp_index == vcpu_idx)
107087ee613dSVitaly Kuznetsov 			atomic_dec(&hv->num_mismatched_vp_indexes);
107187ee613dSVitaly Kuznetsov 
107287ee613dSVitaly Kuznetsov 		hv_vcpu->vp_index = new_vp_index;
1073d3457c87SRoman Kagan 		break;
107487ee613dSVitaly Kuznetsov 	}
1075d4abc577SLadi Prosek 	case HV_X64_MSR_VP_ASSIST_PAGE: {
1076e83d5887SAndrey Smetanin 		u64 gfn;
1077e83d5887SAndrey Smetanin 		unsigned long addr;
1078e83d5887SAndrey Smetanin 
1079d4abc577SLadi Prosek 		if (!(data & HV_X64_MSR_VP_ASSIST_PAGE_ENABLE)) {
10801779a39fSVitaly Kuznetsov 			hv_vcpu->hv_vapic = data;
1081e83d5887SAndrey Smetanin 			if (kvm_lapic_enable_pv_eoi(vcpu, 0))
1082e83d5887SAndrey Smetanin 				return 1;
1083e83d5887SAndrey Smetanin 			break;
1084e83d5887SAndrey Smetanin 		}
1085d4abc577SLadi Prosek 		gfn = data >> HV_X64_MSR_VP_ASSIST_PAGE_ADDRESS_SHIFT;
1086e83d5887SAndrey Smetanin 		addr = kvm_vcpu_gfn_to_hva(vcpu, gfn);
1087e83d5887SAndrey Smetanin 		if (kvm_is_error_hva(addr))
1088e83d5887SAndrey Smetanin 			return 1;
1089e83d5887SAndrey Smetanin 		if (__clear_user((void __user *)addr, PAGE_SIZE))
1090e83d5887SAndrey Smetanin 			return 1;
10911779a39fSVitaly Kuznetsov 		hv_vcpu->hv_vapic = data;
1092e83d5887SAndrey Smetanin 		kvm_vcpu_mark_page_dirty(vcpu, gfn);
1093e83d5887SAndrey Smetanin 		if (kvm_lapic_enable_pv_eoi(vcpu,
1094e83d5887SAndrey Smetanin 					    gfn_to_gpa(gfn) | KVM_MSR_ENABLED))
1095e83d5887SAndrey Smetanin 			return 1;
1096e83d5887SAndrey Smetanin 		break;
1097e83d5887SAndrey Smetanin 	}
1098e83d5887SAndrey Smetanin 	case HV_X64_MSR_EOI:
1099e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_EOI, data);
1100e83d5887SAndrey Smetanin 	case HV_X64_MSR_ICR:
1101e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_ICR, data);
1102e83d5887SAndrey Smetanin 	case HV_X64_MSR_TPR:
1103e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_TASKPRI, data);
11049eec50b8SAndrey Smetanin 	case HV_X64_MSR_VP_RUNTIME:
11059eec50b8SAndrey Smetanin 		if (!host)
11069eec50b8SAndrey Smetanin 			return 1;
11071779a39fSVitaly Kuznetsov 		hv_vcpu->runtime_offset = data - current_task_runtime_100ns();
11089eec50b8SAndrey Smetanin 		break;
11095c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
11105c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
11115c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
11125c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
11135c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
11145c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
11155c919412SAndrey Smetanin 		return synic_set_msr(vcpu_to_synic(vcpu), msr, data, host);
11161f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_CONFIG:
11171f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_CONFIG:
11181f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_CONFIG:
11191f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_CONFIG: {
11201f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
11211f4b34f8SAndrey Smetanin 
11221f4b34f8SAndrey Smetanin 		return stimer_set_config(vcpu_to_stimer(vcpu, timer_index),
11231f4b34f8SAndrey Smetanin 					 data, host);
11241f4b34f8SAndrey Smetanin 	}
11251f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_COUNT:
11261f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_COUNT:
11271f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_COUNT:
11281f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_COUNT: {
11291f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
11301f4b34f8SAndrey Smetanin 
11311f4b34f8SAndrey Smetanin 		return stimer_set_count(vcpu_to_stimer(vcpu, timer_index),
11321f4b34f8SAndrey Smetanin 					data, host);
11331f4b34f8SAndrey Smetanin 	}
113444883f01SPaolo Bonzini 	case HV_X64_MSR_TSC_FREQUENCY:
113544883f01SPaolo Bonzini 	case HV_X64_MSR_APIC_FREQUENCY:
113644883f01SPaolo Bonzini 		/* read-only, but still ignore it if host-initiated */
113744883f01SPaolo Bonzini 		if (!host)
113844883f01SPaolo Bonzini 			return 1;
113944883f01SPaolo Bonzini 		break;
1140e83d5887SAndrey Smetanin 	default:
1141e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n",
1142e83d5887SAndrey Smetanin 			    msr, data);
1143e83d5887SAndrey Smetanin 		return 1;
1144e83d5887SAndrey Smetanin 	}
1145e83d5887SAndrey Smetanin 
1146e83d5887SAndrey Smetanin 	return 0;
1147e83d5887SAndrey Smetanin }
1148e83d5887SAndrey Smetanin 
1149e83d5887SAndrey Smetanin static int kvm_hv_get_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata)
1150e83d5887SAndrey Smetanin {
1151e83d5887SAndrey Smetanin 	u64 data = 0;
1152e83d5887SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
1153e83d5887SAndrey Smetanin 	struct kvm_hv *hv = &kvm->arch.hyperv;
1154e83d5887SAndrey Smetanin 
1155e83d5887SAndrey Smetanin 	switch (msr) {
1156e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
1157e83d5887SAndrey Smetanin 		data = hv->hv_guest_os_id;
1158e83d5887SAndrey Smetanin 		break;
1159e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL:
1160e83d5887SAndrey Smetanin 		data = hv->hv_hypercall;
1161e83d5887SAndrey Smetanin 		break;
116293bf4172SAndrey Smetanin 	case HV_X64_MSR_TIME_REF_COUNT:
116393bf4172SAndrey Smetanin 		data = get_time_ref_counter(kvm);
1164e83d5887SAndrey Smetanin 		break;
1165e83d5887SAndrey Smetanin 	case HV_X64_MSR_REFERENCE_TSC:
1166e83d5887SAndrey Smetanin 		data = hv->hv_tsc_page;
1167e83d5887SAndrey Smetanin 		break;
1168e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
1169e7d9513bSAndrey Smetanin 		return kvm_hv_msr_get_crash_data(vcpu,
1170e7d9513bSAndrey Smetanin 						 msr - HV_X64_MSR_CRASH_P0,
1171e7d9513bSAndrey Smetanin 						 pdata);
1172e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
1173e7d9513bSAndrey Smetanin 		return kvm_hv_msr_get_crash_ctl(vcpu, pdata);
1174e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
1175e516cebbSAndrey Smetanin 		data = 0;
1176e516cebbSAndrey Smetanin 		break;
1177a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
1178a2e164e7SVitaly Kuznetsov 		data = hv->hv_reenlightenment_control;
1179a2e164e7SVitaly Kuznetsov 		break;
1180a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
1181a2e164e7SVitaly Kuznetsov 		data = hv->hv_tsc_emulation_control;
1182a2e164e7SVitaly Kuznetsov 		break;
1183a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
1184a2e164e7SVitaly Kuznetsov 		data = hv->hv_tsc_emulation_status;
1185a2e164e7SVitaly Kuznetsov 		break;
1186e83d5887SAndrey Smetanin 	default:
1187e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr);
1188e83d5887SAndrey Smetanin 		return 1;
1189e83d5887SAndrey Smetanin 	}
1190e83d5887SAndrey Smetanin 
1191e83d5887SAndrey Smetanin 	*pdata = data;
1192e83d5887SAndrey Smetanin 	return 0;
1193e83d5887SAndrey Smetanin }
1194e83d5887SAndrey Smetanin 
119544883f01SPaolo Bonzini static int kvm_hv_get_msr(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata,
119644883f01SPaolo Bonzini 			  bool host)
1197e83d5887SAndrey Smetanin {
1198e83d5887SAndrey Smetanin 	u64 data = 0;
11991779a39fSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
1200e83d5887SAndrey Smetanin 
1201e83d5887SAndrey Smetanin 	switch (msr) {
1202d3457c87SRoman Kagan 	case HV_X64_MSR_VP_INDEX:
12031779a39fSVitaly Kuznetsov 		data = hv_vcpu->vp_index;
1204e83d5887SAndrey Smetanin 		break;
1205e83d5887SAndrey Smetanin 	case HV_X64_MSR_EOI:
1206e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_EOI, pdata);
1207e83d5887SAndrey Smetanin 	case HV_X64_MSR_ICR:
1208e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_ICR, pdata);
1209e83d5887SAndrey Smetanin 	case HV_X64_MSR_TPR:
1210e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_TASKPRI, pdata);
1211d4abc577SLadi Prosek 	case HV_X64_MSR_VP_ASSIST_PAGE:
12121779a39fSVitaly Kuznetsov 		data = hv_vcpu->hv_vapic;
1213e83d5887SAndrey Smetanin 		break;
12149eec50b8SAndrey Smetanin 	case HV_X64_MSR_VP_RUNTIME:
12151779a39fSVitaly Kuznetsov 		data = current_task_runtime_100ns() + hv_vcpu->runtime_offset;
12169eec50b8SAndrey Smetanin 		break;
12175c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
12185c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
12195c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
12205c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
12215c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
12225c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
122344883f01SPaolo Bonzini 		return synic_get_msr(vcpu_to_synic(vcpu), msr, pdata, host);
12241f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_CONFIG:
12251f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_CONFIG:
12261f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_CONFIG:
12271f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_CONFIG: {
12281f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
12291f4b34f8SAndrey Smetanin 
12301f4b34f8SAndrey Smetanin 		return stimer_get_config(vcpu_to_stimer(vcpu, timer_index),
12311f4b34f8SAndrey Smetanin 					 pdata);
12321f4b34f8SAndrey Smetanin 	}
12331f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_COUNT:
12341f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_COUNT:
12351f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_COUNT:
12361f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_COUNT: {
12371f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
12381f4b34f8SAndrey Smetanin 
12391f4b34f8SAndrey Smetanin 		return stimer_get_count(vcpu_to_stimer(vcpu, timer_index),
12401f4b34f8SAndrey Smetanin 					pdata);
12411f4b34f8SAndrey Smetanin 	}
124272c139baSLadi Prosek 	case HV_X64_MSR_TSC_FREQUENCY:
124372c139baSLadi Prosek 		data = (u64)vcpu->arch.virtual_tsc_khz * 1000;
124472c139baSLadi Prosek 		break;
124572c139baSLadi Prosek 	case HV_X64_MSR_APIC_FREQUENCY:
124672c139baSLadi Prosek 		data = APIC_BUS_FREQUENCY;
124772c139baSLadi Prosek 		break;
1248e83d5887SAndrey Smetanin 	default:
1249e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr);
1250e83d5887SAndrey Smetanin 		return 1;
1251e83d5887SAndrey Smetanin 	}
1252e83d5887SAndrey Smetanin 	*pdata = data;
1253e83d5887SAndrey Smetanin 	return 0;
1254e83d5887SAndrey Smetanin }
1255e83d5887SAndrey Smetanin 
1256e7d9513bSAndrey Smetanin int kvm_hv_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host)
1257e83d5887SAndrey Smetanin {
1258e83d5887SAndrey Smetanin 	if (kvm_hv_msr_partition_wide(msr)) {
1259e83d5887SAndrey Smetanin 		int r;
1260e83d5887SAndrey Smetanin 
12613f5ad8beSPaolo Bonzini 		mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock);
1262e7d9513bSAndrey Smetanin 		r = kvm_hv_set_msr_pw(vcpu, msr, data, host);
12633f5ad8beSPaolo Bonzini 		mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock);
1264e83d5887SAndrey Smetanin 		return r;
1265e83d5887SAndrey Smetanin 	} else
12669eec50b8SAndrey Smetanin 		return kvm_hv_set_msr(vcpu, msr, data, host);
1267e83d5887SAndrey Smetanin }
1268e83d5887SAndrey Smetanin 
126944883f01SPaolo Bonzini int kvm_hv_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata, bool host)
1270e83d5887SAndrey Smetanin {
1271e83d5887SAndrey Smetanin 	if (kvm_hv_msr_partition_wide(msr)) {
1272e83d5887SAndrey Smetanin 		int r;
1273e83d5887SAndrey Smetanin 
12743f5ad8beSPaolo Bonzini 		mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock);
1275e83d5887SAndrey Smetanin 		r = kvm_hv_get_msr_pw(vcpu, msr, pdata);
12763f5ad8beSPaolo Bonzini 		mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock);
1277e83d5887SAndrey Smetanin 		return r;
1278e83d5887SAndrey Smetanin 	} else
127944883f01SPaolo Bonzini 		return kvm_hv_get_msr(vcpu, msr, pdata, host);
1280e83d5887SAndrey Smetanin }
1281e83d5887SAndrey Smetanin 
1282*f21dd494SVitaly Kuznetsov static __always_inline unsigned long *sparse_set_to_vcpu_mask(
1283*f21dd494SVitaly Kuznetsov 	struct kvm *kvm, u64 *sparse_banks, u64 valid_bank_mask,
1284*f21dd494SVitaly Kuznetsov 	u64 *vp_bitmap, unsigned long *vcpu_bitmap)
1285c7012676SVitaly Kuznetsov {
1286*f21dd494SVitaly Kuznetsov 	struct kvm_hv *hv = &kvm->arch.hyperv;
1287*f21dd494SVitaly Kuznetsov 	struct kvm_vcpu *vcpu;
1288*f21dd494SVitaly Kuznetsov 	int i, bank, sbank = 0;
1289c7012676SVitaly Kuznetsov 
1290*f21dd494SVitaly Kuznetsov 	memset(vp_bitmap, 0,
1291*f21dd494SVitaly Kuznetsov 	       KVM_HV_MAX_SPARSE_VCPU_SET_BITS * sizeof(*vp_bitmap));
1292*f21dd494SVitaly Kuznetsov 	for_each_set_bit(bank, (unsigned long *)&valid_bank_mask,
1293*f21dd494SVitaly Kuznetsov 			 KVM_HV_MAX_SPARSE_VCPU_SET_BITS)
1294*f21dd494SVitaly Kuznetsov 		vp_bitmap[bank] = sparse_banks[sbank++];
1295c7012676SVitaly Kuznetsov 
1296*f21dd494SVitaly Kuznetsov 	if (likely(!atomic_read(&hv->num_mismatched_vp_indexes))) {
1297*f21dd494SVitaly Kuznetsov 		/* for all vcpus vp_index == vcpu_idx */
1298*f21dd494SVitaly Kuznetsov 		return (unsigned long *)vp_bitmap;
1299*f21dd494SVitaly Kuznetsov 	}
1300c7012676SVitaly Kuznetsov 
1301*f21dd494SVitaly Kuznetsov 	bitmap_zero(vcpu_bitmap, KVM_MAX_VCPUS);
1302*f21dd494SVitaly Kuznetsov 	kvm_for_each_vcpu(i, vcpu, kvm) {
1303*f21dd494SVitaly Kuznetsov 		if (test_bit(vcpu_to_hv_vcpu(vcpu)->vp_index,
1304*f21dd494SVitaly Kuznetsov 			     (unsigned long *)vp_bitmap))
1305*f21dd494SVitaly Kuznetsov 			__set_bit(i, vcpu_bitmap);
1306*f21dd494SVitaly Kuznetsov 	}
1307*f21dd494SVitaly Kuznetsov 	return vcpu_bitmap;
1308c7012676SVitaly Kuznetsov }
1309c7012676SVitaly Kuznetsov 
1310e2f11f42SVitaly Kuznetsov static u64 kvm_hv_flush_tlb(struct kvm_vcpu *current_vcpu, u64 ingpa,
1311c7012676SVitaly Kuznetsov 			    u16 rep_cnt, bool ex)
1312e2f11f42SVitaly Kuznetsov {
1313e2f11f42SVitaly Kuznetsov 	struct kvm *kvm = current_vcpu->kvm;
13142cefc5feSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &current_vcpu->arch.hyperv;
1315c7012676SVitaly Kuznetsov 	struct hv_tlb_flush_ex flush_ex;
1316e2f11f42SVitaly Kuznetsov 	struct hv_tlb_flush flush;
1317*f21dd494SVitaly Kuznetsov 	u64 vp_bitmap[KVM_HV_MAX_SPARSE_VCPU_SET_BITS];
1318*f21dd494SVitaly Kuznetsov 	DECLARE_BITMAP(vcpu_bitmap, KVM_MAX_VCPUS);
1319*f21dd494SVitaly Kuznetsov 	unsigned long *vcpu_mask;
13202cefc5feSVitaly Kuznetsov 	u64 valid_bank_mask;
1321c7012676SVitaly Kuznetsov 	u64 sparse_banks[64];
1322*f21dd494SVitaly Kuznetsov 	int sparse_banks_len;
1323c7012676SVitaly Kuznetsov 	bool all_cpus;
1324e2f11f42SVitaly Kuznetsov 
1325c7012676SVitaly Kuznetsov 	if (!ex) {
1326e2f11f42SVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &flush, sizeof(flush))))
1327e2f11f42SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1328e2f11f42SVitaly Kuznetsov 
1329c7012676SVitaly Kuznetsov 		trace_kvm_hv_flush_tlb(flush.processor_mask,
1330c7012676SVitaly Kuznetsov 				       flush.address_space, flush.flags);
1331c7012676SVitaly Kuznetsov 
13322cefc5feSVitaly Kuznetsov 		valid_bank_mask = BIT_ULL(0);
1333c7012676SVitaly Kuznetsov 		sparse_banks[0] = flush.processor_mask;
1334c7012676SVitaly Kuznetsov 		all_cpus = flush.flags & HV_FLUSH_ALL_PROCESSORS;
1335c7012676SVitaly Kuznetsov 	} else {
1336c7012676SVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &flush_ex,
1337c7012676SVitaly Kuznetsov 					    sizeof(flush_ex))))
1338c7012676SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1339c7012676SVitaly Kuznetsov 
1340c7012676SVitaly Kuznetsov 		trace_kvm_hv_flush_tlb_ex(flush_ex.hv_vp_set.valid_bank_mask,
1341c7012676SVitaly Kuznetsov 					  flush_ex.hv_vp_set.format,
1342c7012676SVitaly Kuznetsov 					  flush_ex.address_space,
1343c7012676SVitaly Kuznetsov 					  flush_ex.flags);
1344c7012676SVitaly Kuznetsov 
1345c7012676SVitaly Kuznetsov 		valid_bank_mask = flush_ex.hv_vp_set.valid_bank_mask;
1346c7012676SVitaly Kuznetsov 		all_cpus = flush_ex.hv_vp_set.format !=
1347c7012676SVitaly Kuznetsov 			HV_GENERIC_SET_SPARSE_4K;
1348c7012676SVitaly Kuznetsov 
13490b0a31baSVitaly Kuznetsov 		sparse_banks_len =
13500b0a31baSVitaly Kuznetsov 			bitmap_weight((unsigned long *)&valid_bank_mask, 64) *
1351c7012676SVitaly Kuznetsov 			sizeof(sparse_banks[0]);
1352c7012676SVitaly Kuznetsov 
1353c7012676SVitaly Kuznetsov 		if (!sparse_banks_len && !all_cpus)
1354c7012676SVitaly Kuznetsov 			goto ret_success;
1355c7012676SVitaly Kuznetsov 
1356c7012676SVitaly Kuznetsov 		if (!all_cpus &&
1357c7012676SVitaly Kuznetsov 		    kvm_read_guest(kvm,
1358c7012676SVitaly Kuznetsov 				   ingpa + offsetof(struct hv_tlb_flush_ex,
1359c7012676SVitaly Kuznetsov 						    hv_vp_set.bank_contents),
1360c7012676SVitaly Kuznetsov 				   sparse_banks,
1361c7012676SVitaly Kuznetsov 				   sparse_banks_len))
1362c7012676SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1363c7012676SVitaly Kuznetsov 	}
1364e2f11f42SVitaly Kuznetsov 
1365*f21dd494SVitaly Kuznetsov 	cpumask_clear(&hv_vcpu->tlb_flush);
1366*f21dd494SVitaly Kuznetsov 
1367*f21dd494SVitaly Kuznetsov 	vcpu_mask = all_cpus ? NULL :
1368*f21dd494SVitaly Kuznetsov 		sparse_set_to_vcpu_mask(kvm, sparse_banks, valid_bank_mask,
1369*f21dd494SVitaly Kuznetsov 					vp_bitmap, vcpu_bitmap);
1370*f21dd494SVitaly Kuznetsov 
13712cefc5feSVitaly Kuznetsov 	/*
13722cefc5feSVitaly Kuznetsov 	 * vcpu->arch.cr3 may not be up-to-date for running vCPUs so we can't
13732cefc5feSVitaly Kuznetsov 	 * analyze it here, flush TLB regardless of the specified address space.
13742cefc5feSVitaly Kuznetsov 	 */
1375a812297cSVitaly Kuznetsov 	kvm_make_vcpus_request_mask(kvm,
1376a812297cSVitaly Kuznetsov 				    KVM_REQ_TLB_FLUSH | KVM_REQUEST_NO_WAKEUP,
1377*f21dd494SVitaly Kuznetsov 				    vcpu_mask, &hv_vcpu->tlb_flush);
1378e2f11f42SVitaly Kuznetsov 
1379c7012676SVitaly Kuznetsov ret_success:
1380e2f11f42SVitaly Kuznetsov 	/* We always do full TLB flush, set rep_done = rep_cnt. */
1381e2f11f42SVitaly Kuznetsov 	return (u64)HV_STATUS_SUCCESS |
1382e2f11f42SVitaly Kuznetsov 		((u64)rep_cnt << HV_HYPERCALL_REP_COMP_OFFSET);
1383e2f11f42SVitaly Kuznetsov }
1384e2f11f42SVitaly Kuznetsov 
1385*f21dd494SVitaly Kuznetsov static void kvm_send_ipi_to_many(struct kvm *kvm, u32 vector,
1386*f21dd494SVitaly Kuznetsov 				 unsigned long *vcpu_bitmap)
1387*f21dd494SVitaly Kuznetsov {
1388*f21dd494SVitaly Kuznetsov 	struct kvm_lapic_irq irq = {
1389*f21dd494SVitaly Kuznetsov 		.delivery_mode = APIC_DM_FIXED,
1390*f21dd494SVitaly Kuznetsov 		.vector = vector
1391*f21dd494SVitaly Kuznetsov 	};
1392*f21dd494SVitaly Kuznetsov 	struct kvm_vcpu *vcpu;
1393*f21dd494SVitaly Kuznetsov 	int i;
1394*f21dd494SVitaly Kuznetsov 
1395*f21dd494SVitaly Kuznetsov 	kvm_for_each_vcpu(i, vcpu, kvm) {
1396*f21dd494SVitaly Kuznetsov 		if (vcpu_bitmap && !test_bit(i, vcpu_bitmap))
1397*f21dd494SVitaly Kuznetsov 			continue;
1398*f21dd494SVitaly Kuznetsov 
1399*f21dd494SVitaly Kuznetsov 		/* We fail only when APIC is disabled */
1400*f21dd494SVitaly Kuznetsov 		kvm_apic_set_irq(vcpu, &irq, NULL);
1401*f21dd494SVitaly Kuznetsov 	}
1402*f21dd494SVitaly Kuznetsov }
1403*f21dd494SVitaly Kuznetsov 
1404214ff83dSVitaly Kuznetsov static u64 kvm_hv_send_ipi(struct kvm_vcpu *current_vcpu, u64 ingpa, u64 outgpa,
1405214ff83dSVitaly Kuznetsov 			   bool ex, bool fast)
1406214ff83dSVitaly Kuznetsov {
1407214ff83dSVitaly Kuznetsov 	struct kvm *kvm = current_vcpu->kvm;
1408214ff83dSVitaly Kuznetsov 	struct hv_send_ipi_ex send_ipi_ex;
1409214ff83dSVitaly Kuznetsov 	struct hv_send_ipi send_ipi;
1410*f21dd494SVitaly Kuznetsov 	u64 vp_bitmap[KVM_HV_MAX_SPARSE_VCPU_SET_BITS];
1411*f21dd494SVitaly Kuznetsov 	DECLARE_BITMAP(vcpu_bitmap, KVM_MAX_VCPUS);
1412*f21dd494SVitaly Kuznetsov 	unsigned long *vcpu_mask;
1413214ff83dSVitaly Kuznetsov 	unsigned long valid_bank_mask;
1414214ff83dSVitaly Kuznetsov 	u64 sparse_banks[64];
1415*f21dd494SVitaly Kuznetsov 	int sparse_banks_len;
1416*f21dd494SVitaly Kuznetsov 	u32 vector;
1417214ff83dSVitaly Kuznetsov 	bool all_cpus;
1418214ff83dSVitaly Kuznetsov 
1419214ff83dSVitaly Kuznetsov 	if (!ex) {
1420214ff83dSVitaly Kuznetsov 		if (!fast) {
1421214ff83dSVitaly Kuznetsov 			if (unlikely(kvm_read_guest(kvm, ingpa, &send_ipi,
1422214ff83dSVitaly Kuznetsov 						    sizeof(send_ipi))))
1423214ff83dSVitaly Kuznetsov 				return HV_STATUS_INVALID_HYPERCALL_INPUT;
1424214ff83dSVitaly Kuznetsov 			sparse_banks[0] = send_ipi.cpu_mask;
1425*f21dd494SVitaly Kuznetsov 			vector = send_ipi.vector;
1426214ff83dSVitaly Kuznetsov 		} else {
1427214ff83dSVitaly Kuznetsov 			/* 'reserved' part of hv_send_ipi should be 0 */
1428214ff83dSVitaly Kuznetsov 			if (unlikely(ingpa >> 32 != 0))
1429214ff83dSVitaly Kuznetsov 				return HV_STATUS_INVALID_HYPERCALL_INPUT;
1430214ff83dSVitaly Kuznetsov 			sparse_banks[0] = outgpa;
1431*f21dd494SVitaly Kuznetsov 			vector = (u32)ingpa;
1432214ff83dSVitaly Kuznetsov 		}
1433214ff83dSVitaly Kuznetsov 		all_cpus = false;
1434214ff83dSVitaly Kuznetsov 		valid_bank_mask = BIT_ULL(0);
1435214ff83dSVitaly Kuznetsov 
1436*f21dd494SVitaly Kuznetsov 		trace_kvm_hv_send_ipi(vector, sparse_banks[0]);
1437214ff83dSVitaly Kuznetsov 	} else {
1438214ff83dSVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &send_ipi_ex,
1439214ff83dSVitaly Kuznetsov 					    sizeof(send_ipi_ex))))
1440214ff83dSVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1441214ff83dSVitaly Kuznetsov 
1442214ff83dSVitaly Kuznetsov 		trace_kvm_hv_send_ipi_ex(send_ipi_ex.vector,
1443214ff83dSVitaly Kuznetsov 					 send_ipi_ex.vp_set.format,
1444214ff83dSVitaly Kuznetsov 					 send_ipi_ex.vp_set.valid_bank_mask);
1445214ff83dSVitaly Kuznetsov 
1446*f21dd494SVitaly Kuznetsov 		vector = send_ipi_ex.vector;
1447214ff83dSVitaly Kuznetsov 		valid_bank_mask = send_ipi_ex.vp_set.valid_bank_mask;
1448214ff83dSVitaly Kuznetsov 		sparse_banks_len = bitmap_weight(&valid_bank_mask, 64) *
1449214ff83dSVitaly Kuznetsov 			sizeof(sparse_banks[0]);
1450214ff83dSVitaly Kuznetsov 
1451214ff83dSVitaly Kuznetsov 		all_cpus = send_ipi_ex.vp_set.format == HV_GENERIC_SET_ALL;
1452214ff83dSVitaly Kuznetsov 
1453214ff83dSVitaly Kuznetsov 		if (!sparse_banks_len)
1454214ff83dSVitaly Kuznetsov 			goto ret_success;
1455214ff83dSVitaly Kuznetsov 
1456214ff83dSVitaly Kuznetsov 		if (!all_cpus &&
1457214ff83dSVitaly Kuznetsov 		    kvm_read_guest(kvm,
1458214ff83dSVitaly Kuznetsov 				   ingpa + offsetof(struct hv_send_ipi_ex,
1459214ff83dSVitaly Kuznetsov 						    vp_set.bank_contents),
1460214ff83dSVitaly Kuznetsov 				   sparse_banks,
1461214ff83dSVitaly Kuznetsov 				   sparse_banks_len))
1462214ff83dSVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1463214ff83dSVitaly Kuznetsov 	}
1464214ff83dSVitaly Kuznetsov 
1465*f21dd494SVitaly Kuznetsov 	if ((vector < HV_IPI_LOW_VECTOR) || (vector > HV_IPI_HIGH_VECTOR))
1466214ff83dSVitaly Kuznetsov 		return HV_STATUS_INVALID_HYPERCALL_INPUT;
1467214ff83dSVitaly Kuznetsov 
1468*f21dd494SVitaly Kuznetsov 	vcpu_mask = all_cpus ? NULL :
1469*f21dd494SVitaly Kuznetsov 		sparse_set_to_vcpu_mask(kvm, sparse_banks, valid_bank_mask,
1470*f21dd494SVitaly Kuznetsov 					vp_bitmap, vcpu_bitmap);
1471214ff83dSVitaly Kuznetsov 
1472*f21dd494SVitaly Kuznetsov 	kvm_send_ipi_to_many(kvm, vector, vcpu_mask);
1473214ff83dSVitaly Kuznetsov 
1474214ff83dSVitaly Kuznetsov ret_success:
1475214ff83dSVitaly Kuznetsov 	return HV_STATUS_SUCCESS;
1476214ff83dSVitaly Kuznetsov }
1477214ff83dSVitaly Kuznetsov 
1478e83d5887SAndrey Smetanin bool kvm_hv_hypercall_enabled(struct kvm *kvm)
1479e83d5887SAndrey Smetanin {
14803f5ad8beSPaolo Bonzini 	return READ_ONCE(kvm->arch.hyperv.hv_hypercall) & HV_X64_MSR_HYPERCALL_ENABLE;
1481e83d5887SAndrey Smetanin }
1482e83d5887SAndrey Smetanin 
148383326e43SAndrey Smetanin static void kvm_hv_hypercall_set_result(struct kvm_vcpu *vcpu, u64 result)
148483326e43SAndrey Smetanin {
148583326e43SAndrey Smetanin 	bool longmode;
148683326e43SAndrey Smetanin 
148783326e43SAndrey Smetanin 	longmode = is_64_bit_mode(vcpu);
148883326e43SAndrey Smetanin 	if (longmode)
148983326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RAX, result);
149083326e43SAndrey Smetanin 	else {
149183326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RDX, result >> 32);
149283326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RAX, result & 0xffffffff);
149383326e43SAndrey Smetanin 	}
149483326e43SAndrey Smetanin }
149583326e43SAndrey Smetanin 
1496696ca779SRadim Krčmář static int kvm_hv_hypercall_complete(struct kvm_vcpu *vcpu, u64 result)
1497696ca779SRadim Krčmář {
1498696ca779SRadim Krčmář 	kvm_hv_hypercall_set_result(vcpu, result);
1499696ca779SRadim Krčmář 	++vcpu->stat.hypercalls;
1500696ca779SRadim Krčmář 	return kvm_skip_emulated_instruction(vcpu);
1501696ca779SRadim Krčmář }
1502696ca779SRadim Krčmář 
150383326e43SAndrey Smetanin static int kvm_hv_hypercall_complete_userspace(struct kvm_vcpu *vcpu)
150483326e43SAndrey Smetanin {
1505696ca779SRadim Krčmář 	return kvm_hv_hypercall_complete(vcpu, vcpu->run->hyperv.u.hcall.result);
150683326e43SAndrey Smetanin }
150783326e43SAndrey Smetanin 
1508faeb7833SRoman Kagan static u16 kvm_hvcall_signal_event(struct kvm_vcpu *vcpu, bool fast, u64 param)
1509faeb7833SRoman Kagan {
1510faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1511faeb7833SRoman Kagan 
1512faeb7833SRoman Kagan 	if (unlikely(!fast)) {
1513faeb7833SRoman Kagan 		int ret;
1514faeb7833SRoman Kagan 		gpa_t gpa = param;
1515faeb7833SRoman Kagan 
1516faeb7833SRoman Kagan 		if ((gpa & (__alignof__(param) - 1)) ||
1517faeb7833SRoman Kagan 		    offset_in_page(gpa) + sizeof(param) > PAGE_SIZE)
1518faeb7833SRoman Kagan 			return HV_STATUS_INVALID_ALIGNMENT;
1519faeb7833SRoman Kagan 
1520faeb7833SRoman Kagan 		ret = kvm_vcpu_read_guest(vcpu, gpa, &param, sizeof(param));
1521faeb7833SRoman Kagan 		if (ret < 0)
1522faeb7833SRoman Kagan 			return HV_STATUS_INVALID_ALIGNMENT;
1523faeb7833SRoman Kagan 	}
1524faeb7833SRoman Kagan 
1525faeb7833SRoman Kagan 	/*
1526faeb7833SRoman Kagan 	 * Per spec, bits 32-47 contain the extra "flag number".  However, we
1527faeb7833SRoman Kagan 	 * have no use for it, and in all known usecases it is zero, so just
1528faeb7833SRoman Kagan 	 * report lookup failure if it isn't.
1529faeb7833SRoman Kagan 	 */
1530faeb7833SRoman Kagan 	if (param & 0xffff00000000ULL)
1531faeb7833SRoman Kagan 		return HV_STATUS_INVALID_PORT_ID;
1532faeb7833SRoman Kagan 	/* remaining bits are reserved-zero */
1533faeb7833SRoman Kagan 	if (param & ~KVM_HYPERV_CONN_ID_MASK)
1534faeb7833SRoman Kagan 		return HV_STATUS_INVALID_HYPERCALL_INPUT;
1535faeb7833SRoman Kagan 
1536452a68d0SPaolo Bonzini 	/* the eventfd is protected by vcpu->kvm->srcu, but conn_to_evt isn't */
1537452a68d0SPaolo Bonzini 	rcu_read_lock();
1538faeb7833SRoman Kagan 	eventfd = idr_find(&vcpu->kvm->arch.hyperv.conn_to_evt, param);
1539452a68d0SPaolo Bonzini 	rcu_read_unlock();
1540faeb7833SRoman Kagan 	if (!eventfd)
1541faeb7833SRoman Kagan 		return HV_STATUS_INVALID_PORT_ID;
1542faeb7833SRoman Kagan 
1543faeb7833SRoman Kagan 	eventfd_signal(eventfd, 1);
1544faeb7833SRoman Kagan 	return HV_STATUS_SUCCESS;
1545faeb7833SRoman Kagan }
1546faeb7833SRoman Kagan 
1547e83d5887SAndrey Smetanin int kvm_hv_hypercall(struct kvm_vcpu *vcpu)
1548e83d5887SAndrey Smetanin {
1549d32ef547SDan Carpenter 	u64 param, ingpa, outgpa, ret = HV_STATUS_SUCCESS;
1550d32ef547SDan Carpenter 	uint16_t code, rep_idx, rep_cnt;
155156b9ae78SVitaly Kuznetsov 	bool fast, longmode, rep;
1552e83d5887SAndrey Smetanin 
1553e83d5887SAndrey Smetanin 	/*
1554e83d5887SAndrey Smetanin 	 * hypercall generates UD from non zero cpl and real mode
1555e83d5887SAndrey Smetanin 	 * per HYPER-V spec
1556e83d5887SAndrey Smetanin 	 */
1557e83d5887SAndrey Smetanin 	if (kvm_x86_ops->get_cpl(vcpu) != 0 || !is_protmode(vcpu)) {
1558e83d5887SAndrey Smetanin 		kvm_queue_exception(vcpu, UD_VECTOR);
15590d9c055eSAndrey Smetanin 		return 1;
1560e83d5887SAndrey Smetanin 	}
1561e83d5887SAndrey Smetanin 
1562e83d5887SAndrey Smetanin 	longmode = is_64_bit_mode(vcpu);
1563e83d5887SAndrey Smetanin 
1564e83d5887SAndrey Smetanin 	if (!longmode) {
1565e83d5887SAndrey Smetanin 		param = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDX) << 32) |
1566e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RAX) & 0xffffffff);
1567e83d5887SAndrey Smetanin 		ingpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RBX) << 32) |
1568e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RCX) & 0xffffffff);
1569e83d5887SAndrey Smetanin 		outgpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDI) << 32) |
1570e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RSI) & 0xffffffff);
1571e83d5887SAndrey Smetanin 	}
1572e83d5887SAndrey Smetanin #ifdef CONFIG_X86_64
1573e83d5887SAndrey Smetanin 	else {
1574e83d5887SAndrey Smetanin 		param = kvm_register_read(vcpu, VCPU_REGS_RCX);
1575e83d5887SAndrey Smetanin 		ingpa = kvm_register_read(vcpu, VCPU_REGS_RDX);
1576e83d5887SAndrey Smetanin 		outgpa = kvm_register_read(vcpu, VCPU_REGS_R8);
1577e83d5887SAndrey Smetanin 	}
1578e83d5887SAndrey Smetanin #endif
1579e83d5887SAndrey Smetanin 
1580e83d5887SAndrey Smetanin 	code = param & 0xffff;
1581142c95daSVitaly Kuznetsov 	fast = !!(param & HV_HYPERCALL_FAST_BIT);
1582142c95daSVitaly Kuznetsov 	rep_cnt = (param >> HV_HYPERCALL_REP_COMP_OFFSET) & 0xfff;
1583142c95daSVitaly Kuznetsov 	rep_idx = (param >> HV_HYPERCALL_REP_START_OFFSET) & 0xfff;
158456b9ae78SVitaly Kuznetsov 	rep = !!(rep_cnt || rep_idx);
1585e83d5887SAndrey Smetanin 
1586e83d5887SAndrey Smetanin 	trace_kvm_hv_hypercall(code, fast, rep_cnt, rep_idx, ingpa, outgpa);
1587e83d5887SAndrey Smetanin 
1588e83d5887SAndrey Smetanin 	switch (code) {
15898ed6d767SAndrey Smetanin 	case HVCALL_NOTIFY_LONG_SPIN_WAIT:
159056b9ae78SVitaly Kuznetsov 		if (unlikely(rep)) {
159156b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
159256b9ae78SVitaly Kuznetsov 			break;
159356b9ae78SVitaly Kuznetsov 		}
1594de63ad4cSLongpeng(Mike) 		kvm_vcpu_on_spin(vcpu, true);
1595e83d5887SAndrey Smetanin 		break;
159683326e43SAndrey Smetanin 	case HVCALL_SIGNAL_EVENT:
159756b9ae78SVitaly Kuznetsov 		if (unlikely(rep)) {
159856b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
159956b9ae78SVitaly Kuznetsov 			break;
160056b9ae78SVitaly Kuznetsov 		}
1601d32ef547SDan Carpenter 		ret = kvm_hvcall_signal_event(vcpu, fast, ingpa);
1602d32ef547SDan Carpenter 		if (ret != HV_STATUS_INVALID_PORT_ID)
1603faeb7833SRoman Kagan 			break;
1604faeb7833SRoman Kagan 		/* maybe userspace knows this conn_id: fall through */
1605faeb7833SRoman Kagan 	case HVCALL_POST_MESSAGE:
1606a2b5c3c0SPaolo Bonzini 		/* don't bother userspace if it has no way to handle it */
160756b9ae78SVitaly Kuznetsov 		if (unlikely(rep || !vcpu_to_synic(vcpu)->active)) {
160856b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1609a2b5c3c0SPaolo Bonzini 			break;
1610a2b5c3c0SPaolo Bonzini 		}
161183326e43SAndrey Smetanin 		vcpu->run->exit_reason = KVM_EXIT_HYPERV;
161283326e43SAndrey Smetanin 		vcpu->run->hyperv.type = KVM_EXIT_HYPERV_HCALL;
161383326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.input = param;
161483326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.params[0] = ingpa;
161583326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.params[1] = outgpa;
161683326e43SAndrey Smetanin 		vcpu->arch.complete_userspace_io =
161783326e43SAndrey Smetanin 				kvm_hv_hypercall_complete_userspace;
161883326e43SAndrey Smetanin 		return 0;
1619e2f11f42SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST:
1620e2f11f42SVitaly Kuznetsov 		if (unlikely(fast || !rep_cnt || rep_idx)) {
1621e2f11f42SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1622e2f11f42SVitaly Kuznetsov 			break;
1623e2f11f42SVitaly Kuznetsov 		}
1624c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, false);
1625e2f11f42SVitaly Kuznetsov 		break;
1626e2f11f42SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE:
1627e2f11f42SVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1628e2f11f42SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1629e2f11f42SVitaly Kuznetsov 			break;
1630e2f11f42SVitaly Kuznetsov 		}
1631c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, false);
1632c7012676SVitaly Kuznetsov 		break;
1633c7012676SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST_EX:
1634c7012676SVitaly Kuznetsov 		if (unlikely(fast || !rep_cnt || rep_idx)) {
1635c7012676SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1636c7012676SVitaly Kuznetsov 			break;
1637c7012676SVitaly Kuznetsov 		}
1638c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, true);
1639c7012676SVitaly Kuznetsov 		break;
1640c7012676SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE_EX:
1641c7012676SVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1642c7012676SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1643c7012676SVitaly Kuznetsov 			break;
1644c7012676SVitaly Kuznetsov 		}
1645c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, true);
1646e2f11f42SVitaly Kuznetsov 		break;
1647214ff83dSVitaly Kuznetsov 	case HVCALL_SEND_IPI:
1648214ff83dSVitaly Kuznetsov 		if (unlikely(rep)) {
1649214ff83dSVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1650214ff83dSVitaly Kuznetsov 			break;
1651214ff83dSVitaly Kuznetsov 		}
1652214ff83dSVitaly Kuznetsov 		ret = kvm_hv_send_ipi(vcpu, ingpa, outgpa, false, fast);
1653214ff83dSVitaly Kuznetsov 		break;
1654214ff83dSVitaly Kuznetsov 	case HVCALL_SEND_IPI_EX:
1655214ff83dSVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1656214ff83dSVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1657214ff83dSVitaly Kuznetsov 			break;
1658214ff83dSVitaly Kuznetsov 		}
1659214ff83dSVitaly Kuznetsov 		ret = kvm_hv_send_ipi(vcpu, ingpa, outgpa, true, false);
1660214ff83dSVitaly Kuznetsov 		break;
1661e83d5887SAndrey Smetanin 	default:
1662d32ef547SDan Carpenter 		ret = HV_STATUS_INVALID_HYPERCALL_CODE;
1663e83d5887SAndrey Smetanin 		break;
1664e83d5887SAndrey Smetanin 	}
1665e83d5887SAndrey Smetanin 
1666696ca779SRadim Krčmář 	return kvm_hv_hypercall_complete(vcpu, ret);
1667e83d5887SAndrey Smetanin }
1668cbc0236aSRoman Kagan 
1669cbc0236aSRoman Kagan void kvm_hv_init_vm(struct kvm *kvm)
1670cbc0236aSRoman Kagan {
1671cbc0236aSRoman Kagan 	mutex_init(&kvm->arch.hyperv.hv_lock);
1672faeb7833SRoman Kagan 	idr_init(&kvm->arch.hyperv.conn_to_evt);
1673cbc0236aSRoman Kagan }
1674cbc0236aSRoman Kagan 
1675cbc0236aSRoman Kagan void kvm_hv_destroy_vm(struct kvm *kvm)
1676cbc0236aSRoman Kagan {
1677faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1678faeb7833SRoman Kagan 	int i;
1679faeb7833SRoman Kagan 
1680faeb7833SRoman Kagan 	idr_for_each_entry(&kvm->arch.hyperv.conn_to_evt, eventfd, i)
1681faeb7833SRoman Kagan 		eventfd_ctx_put(eventfd);
1682faeb7833SRoman Kagan 	idr_destroy(&kvm->arch.hyperv.conn_to_evt);
1683faeb7833SRoman Kagan }
1684faeb7833SRoman Kagan 
1685faeb7833SRoman Kagan static int kvm_hv_eventfd_assign(struct kvm *kvm, u32 conn_id, int fd)
1686faeb7833SRoman Kagan {
1687faeb7833SRoman Kagan 	struct kvm_hv *hv = &kvm->arch.hyperv;
1688faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1689faeb7833SRoman Kagan 	int ret;
1690faeb7833SRoman Kagan 
1691faeb7833SRoman Kagan 	eventfd = eventfd_ctx_fdget(fd);
1692faeb7833SRoman Kagan 	if (IS_ERR(eventfd))
1693faeb7833SRoman Kagan 		return PTR_ERR(eventfd);
1694faeb7833SRoman Kagan 
1695faeb7833SRoman Kagan 	mutex_lock(&hv->hv_lock);
1696faeb7833SRoman Kagan 	ret = idr_alloc(&hv->conn_to_evt, eventfd, conn_id, conn_id + 1,
1697faeb7833SRoman Kagan 			GFP_KERNEL);
1698faeb7833SRoman Kagan 	mutex_unlock(&hv->hv_lock);
1699faeb7833SRoman Kagan 
1700faeb7833SRoman Kagan 	if (ret >= 0)
1701faeb7833SRoman Kagan 		return 0;
1702faeb7833SRoman Kagan 
1703faeb7833SRoman Kagan 	if (ret == -ENOSPC)
1704faeb7833SRoman Kagan 		ret = -EEXIST;
1705faeb7833SRoman Kagan 	eventfd_ctx_put(eventfd);
1706faeb7833SRoman Kagan 	return ret;
1707faeb7833SRoman Kagan }
1708faeb7833SRoman Kagan 
1709faeb7833SRoman Kagan static int kvm_hv_eventfd_deassign(struct kvm *kvm, u32 conn_id)
1710faeb7833SRoman Kagan {
1711faeb7833SRoman Kagan 	struct kvm_hv *hv = &kvm->arch.hyperv;
1712faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1713faeb7833SRoman Kagan 
1714faeb7833SRoman Kagan 	mutex_lock(&hv->hv_lock);
1715faeb7833SRoman Kagan 	eventfd = idr_remove(&hv->conn_to_evt, conn_id);
1716faeb7833SRoman Kagan 	mutex_unlock(&hv->hv_lock);
1717faeb7833SRoman Kagan 
1718faeb7833SRoman Kagan 	if (!eventfd)
1719faeb7833SRoman Kagan 		return -ENOENT;
1720faeb7833SRoman Kagan 
1721faeb7833SRoman Kagan 	synchronize_srcu(&kvm->srcu);
1722faeb7833SRoman Kagan 	eventfd_ctx_put(eventfd);
1723faeb7833SRoman Kagan 	return 0;
1724faeb7833SRoman Kagan }
1725faeb7833SRoman Kagan 
1726faeb7833SRoman Kagan int kvm_vm_ioctl_hv_eventfd(struct kvm *kvm, struct kvm_hyperv_eventfd *args)
1727faeb7833SRoman Kagan {
1728faeb7833SRoman Kagan 	if ((args->flags & ~KVM_HYPERV_EVENTFD_DEASSIGN) ||
1729faeb7833SRoman Kagan 	    (args->conn_id & ~KVM_HYPERV_CONN_ID_MASK))
1730faeb7833SRoman Kagan 		return -EINVAL;
1731faeb7833SRoman Kagan 
1732faeb7833SRoman Kagan 	if (args->flags == KVM_HYPERV_EVENTFD_DEASSIGN)
1733faeb7833SRoman Kagan 		return kvm_hv_eventfd_deassign(kvm, args->conn_id);
1734faeb7833SRoman Kagan 	return kvm_hv_eventfd_assign(kvm, args->conn_id, args->fd);
1735cbc0236aSRoman Kagan }
1736