xref: /openbmc/linux/arch/x86/kvm/hyperv.c (revision 3a0e7731724f6ac684129f1763eef4d2d3e7dec7)
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 
39f21dd494SVitaly Kuznetsov #define KVM_HV_MAX_SPARSE_VCPU_SET_BITS DIV_ROUND_UP(KVM_MAX_VCPUS, 64)
40f21dd494SVitaly 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 
1615c919412SAndrey Smetanin static void kvm_hv_notify_acked_sint(struct kvm_vcpu *vcpu, u32 sint)
1625c919412SAndrey Smetanin {
1635c919412SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
164765eaa0fSAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
1651f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
1661f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
1671f4b34f8SAndrey Smetanin 	int gsi, idx, stimers_pending;
1685c919412SAndrey Smetanin 
16918659a9cSAndrey Smetanin 	trace_kvm_hv_notify_acked_sint(vcpu->vcpu_id, sint);
1705c919412SAndrey Smetanin 
1711f4b34f8SAndrey Smetanin 	/* Try to deliver pending Hyper-V SynIC timers messages */
1721f4b34f8SAndrey Smetanin 	stimers_pending = 0;
1731f4b34f8SAndrey Smetanin 	for (idx = 0; idx < ARRAY_SIZE(hv_vcpu->stimer); idx++) {
1741f4b34f8SAndrey Smetanin 		stimer = &hv_vcpu->stimer[idx];
1751f4b34f8SAndrey Smetanin 		if (stimer->msg_pending &&
1761f4b34f8SAndrey Smetanin 		    (stimer->config & HV_STIMER_ENABLE) &&
1771f4b34f8SAndrey Smetanin 		    HV_STIMER_SINT(stimer->config) == sint) {
1781f4b34f8SAndrey Smetanin 			set_bit(stimer->index,
1791f4b34f8SAndrey Smetanin 				hv_vcpu->stimer_pending_bitmap);
1801f4b34f8SAndrey Smetanin 			stimers_pending++;
1811f4b34f8SAndrey Smetanin 		}
1821f4b34f8SAndrey Smetanin 	}
1831f4b34f8SAndrey Smetanin 	if (stimers_pending)
1841f4b34f8SAndrey Smetanin 		kvm_make_request(KVM_REQ_HV_STIMER, vcpu);
1851f4b34f8SAndrey Smetanin 
1865c919412SAndrey Smetanin 	idx = srcu_read_lock(&kvm->irq_srcu);
1871f4b34f8SAndrey Smetanin 	gsi = atomic_read(&synic->sint_to_gsi[sint]);
1885c919412SAndrey Smetanin 	if (gsi != -1)
1895c919412SAndrey Smetanin 		kvm_notify_acked_gsi(kvm, gsi);
1905c919412SAndrey Smetanin 	srcu_read_unlock(&kvm->irq_srcu, idx);
1915c919412SAndrey Smetanin }
1925c919412SAndrey Smetanin 
193db397571SAndrey Smetanin static void synic_exit(struct kvm_vcpu_hv_synic *synic, u32 msr)
194db397571SAndrey Smetanin {
195db397571SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
196db397571SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
197db397571SAndrey Smetanin 
198db397571SAndrey Smetanin 	hv_vcpu->exit.type = KVM_EXIT_HYPERV_SYNIC;
199db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.msr = msr;
200db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.control = synic->control;
201db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.evt_page = synic->evt_page;
202db397571SAndrey Smetanin 	hv_vcpu->exit.u.synic.msg_page = synic->msg_page;
203db397571SAndrey Smetanin 
204db397571SAndrey Smetanin 	kvm_make_request(KVM_REQ_HV_EXIT, vcpu);
205db397571SAndrey Smetanin }
206db397571SAndrey Smetanin 
2075c919412SAndrey Smetanin static int synic_set_msr(struct kvm_vcpu_hv_synic *synic,
2085c919412SAndrey Smetanin 			 u32 msr, u64 data, bool host)
2095c919412SAndrey Smetanin {
2105c919412SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
2115c919412SAndrey Smetanin 	int ret;
2125c919412SAndrey Smetanin 
21344883f01SPaolo Bonzini 	if (!synic->active && !host)
2145c919412SAndrey Smetanin 		return 1;
2155c919412SAndrey Smetanin 
21618659a9cSAndrey Smetanin 	trace_kvm_hv_synic_set_msr(vcpu->vcpu_id, msr, data, host);
21718659a9cSAndrey Smetanin 
2185c919412SAndrey Smetanin 	ret = 0;
2195c919412SAndrey Smetanin 	switch (msr) {
2205c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
2215c919412SAndrey Smetanin 		synic->control = data;
222db397571SAndrey Smetanin 		if (!host)
223db397571SAndrey Smetanin 			synic_exit(synic, msr);
2245c919412SAndrey Smetanin 		break;
2255c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
2265c919412SAndrey Smetanin 		if (!host) {
2275c919412SAndrey Smetanin 			ret = 1;
2285c919412SAndrey Smetanin 			break;
2295c919412SAndrey Smetanin 		}
2305c919412SAndrey Smetanin 		synic->version = data;
2315c919412SAndrey Smetanin 		break;
2325c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
233efc479e6SRoman Kagan 		if ((data & HV_SYNIC_SIEFP_ENABLE) && !host &&
234efc479e6SRoman Kagan 		    !synic->dont_zero_synic_pages)
2355c919412SAndrey Smetanin 			if (kvm_clear_guest(vcpu->kvm,
2365c919412SAndrey Smetanin 					    data & PAGE_MASK, PAGE_SIZE)) {
2375c919412SAndrey Smetanin 				ret = 1;
2385c919412SAndrey Smetanin 				break;
2395c919412SAndrey Smetanin 			}
2405c919412SAndrey Smetanin 		synic->evt_page = data;
241db397571SAndrey Smetanin 		if (!host)
242db397571SAndrey Smetanin 			synic_exit(synic, msr);
2435c919412SAndrey Smetanin 		break;
2445c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
245efc479e6SRoman Kagan 		if ((data & HV_SYNIC_SIMP_ENABLE) && !host &&
246efc479e6SRoman Kagan 		    !synic->dont_zero_synic_pages)
2475c919412SAndrey Smetanin 			if (kvm_clear_guest(vcpu->kvm,
2485c919412SAndrey Smetanin 					    data & PAGE_MASK, PAGE_SIZE)) {
2495c919412SAndrey Smetanin 				ret = 1;
2505c919412SAndrey Smetanin 				break;
2515c919412SAndrey Smetanin 			}
2525c919412SAndrey Smetanin 		synic->msg_page = data;
253db397571SAndrey Smetanin 		if (!host)
254db397571SAndrey Smetanin 			synic_exit(synic, msr);
2555c919412SAndrey Smetanin 		break;
2565c919412SAndrey Smetanin 	case HV_X64_MSR_EOM: {
2575c919412SAndrey Smetanin 		int i;
2585c919412SAndrey Smetanin 
2595c919412SAndrey Smetanin 		for (i = 0; i < ARRAY_SIZE(synic->sint); i++)
2605c919412SAndrey Smetanin 			kvm_hv_notify_acked_sint(vcpu, i);
2615c919412SAndrey Smetanin 		break;
2625c919412SAndrey Smetanin 	}
2635c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
2647be58a64SAndrey Smetanin 		ret = synic_set_sint(synic, msr - HV_X64_MSR_SINT0, data, host);
2655c919412SAndrey Smetanin 		break;
2665c919412SAndrey Smetanin 	default:
2675c919412SAndrey Smetanin 		ret = 1;
2685c919412SAndrey Smetanin 		break;
2695c919412SAndrey Smetanin 	}
2705c919412SAndrey Smetanin 	return ret;
2715c919412SAndrey Smetanin }
2725c919412SAndrey Smetanin 
27344883f01SPaolo Bonzini static int synic_get_msr(struct kvm_vcpu_hv_synic *synic, u32 msr, u64 *pdata,
27444883f01SPaolo Bonzini 			 bool host)
2755c919412SAndrey Smetanin {
2765c919412SAndrey Smetanin 	int ret;
2775c919412SAndrey Smetanin 
27844883f01SPaolo Bonzini 	if (!synic->active && !host)
2795c919412SAndrey Smetanin 		return 1;
2805c919412SAndrey Smetanin 
2815c919412SAndrey Smetanin 	ret = 0;
2825c919412SAndrey Smetanin 	switch (msr) {
2835c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
2845c919412SAndrey Smetanin 		*pdata = synic->control;
2855c919412SAndrey Smetanin 		break;
2865c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
2875c919412SAndrey Smetanin 		*pdata = synic->version;
2885c919412SAndrey Smetanin 		break;
2895c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
2905c919412SAndrey Smetanin 		*pdata = synic->evt_page;
2915c919412SAndrey Smetanin 		break;
2925c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
2935c919412SAndrey Smetanin 		*pdata = synic->msg_page;
2945c919412SAndrey Smetanin 		break;
2955c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
2965c919412SAndrey Smetanin 		*pdata = 0;
2975c919412SAndrey Smetanin 		break;
2985c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
2995c919412SAndrey Smetanin 		*pdata = atomic64_read(&synic->sint[msr - HV_X64_MSR_SINT0]);
3005c919412SAndrey Smetanin 		break;
3015c919412SAndrey Smetanin 	default:
3025c919412SAndrey Smetanin 		ret = 1;
3035c919412SAndrey Smetanin 		break;
3045c919412SAndrey Smetanin 	}
3055c919412SAndrey Smetanin 	return ret;
3065c919412SAndrey Smetanin }
3075c919412SAndrey Smetanin 
308ecd8a8c2SJiang Biao static int synic_set_irq(struct kvm_vcpu_hv_synic *synic, u32 sint)
3095c919412SAndrey Smetanin {
3105c919412SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
3115c919412SAndrey Smetanin 	struct kvm_lapic_irq irq;
3125c919412SAndrey Smetanin 	int ret, vector;
3135c919412SAndrey Smetanin 
3145c919412SAndrey Smetanin 	if (sint >= ARRAY_SIZE(synic->sint))
3155c919412SAndrey Smetanin 		return -EINVAL;
3165c919412SAndrey Smetanin 
3175c919412SAndrey Smetanin 	vector = synic_get_sint_vector(synic_read_sint(synic, sint));
3185c919412SAndrey Smetanin 	if (vector < 0)
3195c919412SAndrey Smetanin 		return -ENOENT;
3205c919412SAndrey Smetanin 
3215c919412SAndrey Smetanin 	memset(&irq, 0, sizeof(irq));
322f98a3efbSRadim Krčmář 	irq.shorthand = APIC_DEST_SELF;
3235c919412SAndrey Smetanin 	irq.dest_mode = APIC_DEST_PHYSICAL;
3245c919412SAndrey Smetanin 	irq.delivery_mode = APIC_DM_FIXED;
3255c919412SAndrey Smetanin 	irq.vector = vector;
3265c919412SAndrey Smetanin 	irq.level = 1;
3275c919412SAndrey Smetanin 
328f98a3efbSRadim Krčmář 	ret = kvm_irq_delivery_to_apic(vcpu->kvm, vcpu->arch.apic, &irq, NULL);
32918659a9cSAndrey Smetanin 	trace_kvm_hv_synic_set_irq(vcpu->vcpu_id, sint, irq.vector, ret);
3305c919412SAndrey Smetanin 	return ret;
3315c919412SAndrey Smetanin }
3325c919412SAndrey Smetanin 
333d3457c87SRoman Kagan int kvm_hv_synic_set_irq(struct kvm *kvm, u32 vpidx, u32 sint)
3345c919412SAndrey Smetanin {
3355c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic;
3365c919412SAndrey Smetanin 
337d3457c87SRoman Kagan 	synic = synic_get(kvm, vpidx);
3385c919412SAndrey Smetanin 	if (!synic)
3395c919412SAndrey Smetanin 		return -EINVAL;
3405c919412SAndrey Smetanin 
3415c919412SAndrey Smetanin 	return synic_set_irq(synic, sint);
3425c919412SAndrey Smetanin }
3435c919412SAndrey Smetanin 
3445c919412SAndrey Smetanin void kvm_hv_synic_send_eoi(struct kvm_vcpu *vcpu, int vector)
3455c919412SAndrey Smetanin {
3465c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
3475c919412SAndrey Smetanin 	int i;
3485c919412SAndrey Smetanin 
34918659a9cSAndrey Smetanin 	trace_kvm_hv_synic_send_eoi(vcpu->vcpu_id, vector);
3505c919412SAndrey Smetanin 
3515c919412SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(synic->sint); i++)
3525c919412SAndrey Smetanin 		if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector)
3535c919412SAndrey Smetanin 			kvm_hv_notify_acked_sint(vcpu, i);
3545c919412SAndrey Smetanin }
3555c919412SAndrey Smetanin 
356d3457c87SRoman Kagan static int kvm_hv_set_sint_gsi(struct kvm *kvm, u32 vpidx, u32 sint, int gsi)
3575c919412SAndrey Smetanin {
3585c919412SAndrey Smetanin 	struct kvm_vcpu_hv_synic *synic;
3595c919412SAndrey Smetanin 
360d3457c87SRoman Kagan 	synic = synic_get(kvm, vpidx);
3615c919412SAndrey Smetanin 	if (!synic)
3625c919412SAndrey Smetanin 		return -EINVAL;
3635c919412SAndrey Smetanin 
3645c919412SAndrey Smetanin 	if (sint >= ARRAY_SIZE(synic->sint_to_gsi))
3655c919412SAndrey Smetanin 		return -EINVAL;
3665c919412SAndrey Smetanin 
3675c919412SAndrey Smetanin 	atomic_set(&synic->sint_to_gsi[sint], gsi);
3685c919412SAndrey Smetanin 	return 0;
3695c919412SAndrey Smetanin }
3705c919412SAndrey Smetanin 
3715c919412SAndrey Smetanin void kvm_hv_irq_routing_update(struct kvm *kvm)
3725c919412SAndrey Smetanin {
3735c919412SAndrey Smetanin 	struct kvm_irq_routing_table *irq_rt;
3745c919412SAndrey Smetanin 	struct kvm_kernel_irq_routing_entry *e;
3755c919412SAndrey Smetanin 	u32 gsi;
3765c919412SAndrey Smetanin 
3775c919412SAndrey Smetanin 	irq_rt = srcu_dereference_check(kvm->irq_routing, &kvm->irq_srcu,
3785c919412SAndrey Smetanin 					lockdep_is_held(&kvm->irq_lock));
3795c919412SAndrey Smetanin 
3805c919412SAndrey Smetanin 	for (gsi = 0; gsi < irq_rt->nr_rt_entries; gsi++) {
3815c919412SAndrey Smetanin 		hlist_for_each_entry(e, &irq_rt->map[gsi], link) {
3825c919412SAndrey Smetanin 			if (e->type == KVM_IRQ_ROUTING_HV_SINT)
3835c919412SAndrey Smetanin 				kvm_hv_set_sint_gsi(kvm, e->hv_sint.vcpu,
3845c919412SAndrey Smetanin 						    e->hv_sint.sint, gsi);
3855c919412SAndrey Smetanin 		}
3865c919412SAndrey Smetanin 	}
3875c919412SAndrey Smetanin }
3885c919412SAndrey Smetanin 
3895c919412SAndrey Smetanin static void synic_init(struct kvm_vcpu_hv_synic *synic)
3905c919412SAndrey Smetanin {
3915c919412SAndrey Smetanin 	int i;
3925c919412SAndrey Smetanin 
3935c919412SAndrey Smetanin 	memset(synic, 0, sizeof(*synic));
3945c919412SAndrey Smetanin 	synic->version = HV_SYNIC_VERSION_1;
3955c919412SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(synic->sint); i++) {
3965c919412SAndrey Smetanin 		atomic64_set(&synic->sint[i], HV_SYNIC_SINT_MASKED);
3975c919412SAndrey Smetanin 		atomic_set(&synic->sint_to_gsi[i], -1);
3985c919412SAndrey Smetanin 	}
3995c919412SAndrey Smetanin }
4005c919412SAndrey Smetanin 
40193bf4172SAndrey Smetanin static u64 get_time_ref_counter(struct kvm *kvm)
40293bf4172SAndrey Smetanin {
403095cf55dSPaolo Bonzini 	struct kvm_hv *hv = &kvm->arch.hyperv;
404095cf55dSPaolo Bonzini 	struct kvm_vcpu *vcpu;
405095cf55dSPaolo Bonzini 	u64 tsc;
406095cf55dSPaolo Bonzini 
407095cf55dSPaolo Bonzini 	/*
408095cf55dSPaolo Bonzini 	 * The guest has not set up the TSC page or the clock isn't
409095cf55dSPaolo Bonzini 	 * stable, fall back to get_kvmclock_ns.
410095cf55dSPaolo Bonzini 	 */
411095cf55dSPaolo Bonzini 	if (!hv->tsc_ref.tsc_sequence)
412108b249cSPaolo Bonzini 		return div_u64(get_kvmclock_ns(kvm), 100);
413095cf55dSPaolo Bonzini 
414095cf55dSPaolo Bonzini 	vcpu = kvm_get_vcpu(kvm, 0);
415095cf55dSPaolo Bonzini 	tsc = kvm_read_l1_tsc(vcpu, rdtsc());
416095cf55dSPaolo Bonzini 	return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64)
417095cf55dSPaolo Bonzini 		+ hv->tsc_ref.tsc_offset;
41893bf4172SAndrey Smetanin }
41993bf4172SAndrey Smetanin 
420f3b138c5SAndrey Smetanin static void stimer_mark_pending(struct kvm_vcpu_hv_stimer *stimer,
4211f4b34f8SAndrey Smetanin 				bool vcpu_kick)
4221f4b34f8SAndrey Smetanin {
4231f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
4241f4b34f8SAndrey Smetanin 
4251f4b34f8SAndrey Smetanin 	set_bit(stimer->index,
4261f4b34f8SAndrey Smetanin 		vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap);
4271f4b34f8SAndrey Smetanin 	kvm_make_request(KVM_REQ_HV_STIMER, vcpu);
4281f4b34f8SAndrey Smetanin 	if (vcpu_kick)
4291f4b34f8SAndrey Smetanin 		kvm_vcpu_kick(vcpu);
4301f4b34f8SAndrey Smetanin }
4311f4b34f8SAndrey Smetanin 
4321f4b34f8SAndrey Smetanin static void stimer_cleanup(struct kvm_vcpu_hv_stimer *stimer)
4331f4b34f8SAndrey Smetanin {
4341f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
4351f4b34f8SAndrey Smetanin 
436ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_cleanup(stimer_to_vcpu(stimer)->vcpu_id,
437ac3e5fcaSAndrey Smetanin 				    stimer->index);
438ac3e5fcaSAndrey Smetanin 
439019b9781SAndrey Smetanin 	hrtimer_cancel(&stimer->timer);
4401f4b34f8SAndrey Smetanin 	clear_bit(stimer->index,
4411f4b34f8SAndrey Smetanin 		  vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap);
4421f4b34f8SAndrey Smetanin 	stimer->msg_pending = false;
443f808495dSAndrey Smetanin 	stimer->exp_time = 0;
4441f4b34f8SAndrey Smetanin }
4451f4b34f8SAndrey Smetanin 
4461f4b34f8SAndrey Smetanin static enum hrtimer_restart stimer_timer_callback(struct hrtimer *timer)
4471f4b34f8SAndrey Smetanin {
4481f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
4491f4b34f8SAndrey Smetanin 
4501f4b34f8SAndrey Smetanin 	stimer = container_of(timer, struct kvm_vcpu_hv_stimer, timer);
451ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_callback(stimer_to_vcpu(stimer)->vcpu_id,
452ac3e5fcaSAndrey Smetanin 				     stimer->index);
453f3b138c5SAndrey Smetanin 	stimer_mark_pending(stimer, true);
4541f4b34f8SAndrey Smetanin 
4551f4b34f8SAndrey Smetanin 	return HRTIMER_NORESTART;
4561f4b34f8SAndrey Smetanin }
4571f4b34f8SAndrey Smetanin 
458f808495dSAndrey Smetanin /*
459f808495dSAndrey Smetanin  * stimer_start() assumptions:
460f808495dSAndrey Smetanin  * a) stimer->count is not equal to 0
461f808495dSAndrey Smetanin  * b) stimer->config has HV_STIMER_ENABLE flag
462f808495dSAndrey Smetanin  */
4631f4b34f8SAndrey Smetanin static int stimer_start(struct kvm_vcpu_hv_stimer *stimer)
4641f4b34f8SAndrey Smetanin {
4651f4b34f8SAndrey Smetanin 	u64 time_now;
4661f4b34f8SAndrey Smetanin 	ktime_t ktime_now;
4671f4b34f8SAndrey Smetanin 
4681f4b34f8SAndrey Smetanin 	time_now = get_time_ref_counter(stimer_to_vcpu(stimer)->kvm);
4691f4b34f8SAndrey Smetanin 	ktime_now = ktime_get();
4701f4b34f8SAndrey Smetanin 
4711f4b34f8SAndrey Smetanin 	if (stimer->config & HV_STIMER_PERIODIC) {
472f808495dSAndrey Smetanin 		if (stimer->exp_time) {
473f808495dSAndrey Smetanin 			if (time_now >= stimer->exp_time) {
474f808495dSAndrey Smetanin 				u64 remainder;
4751f4b34f8SAndrey Smetanin 
476f808495dSAndrey Smetanin 				div64_u64_rem(time_now - stimer->exp_time,
477f808495dSAndrey Smetanin 					      stimer->count, &remainder);
478f808495dSAndrey Smetanin 				stimer->exp_time =
479f808495dSAndrey Smetanin 					time_now + (stimer->count - remainder);
480f808495dSAndrey Smetanin 			}
481f808495dSAndrey Smetanin 		} else
4821f4b34f8SAndrey Smetanin 			stimer->exp_time = time_now + stimer->count;
483f808495dSAndrey Smetanin 
484ac3e5fcaSAndrey Smetanin 		trace_kvm_hv_stimer_start_periodic(
485ac3e5fcaSAndrey Smetanin 					stimer_to_vcpu(stimer)->vcpu_id,
486ac3e5fcaSAndrey Smetanin 					stimer->index,
487ac3e5fcaSAndrey Smetanin 					time_now, stimer->exp_time);
488ac3e5fcaSAndrey Smetanin 
4891f4b34f8SAndrey Smetanin 		hrtimer_start(&stimer->timer,
490f808495dSAndrey Smetanin 			      ktime_add_ns(ktime_now,
491f808495dSAndrey Smetanin 					   100 * (stimer->exp_time - time_now)),
4921f4b34f8SAndrey Smetanin 			      HRTIMER_MODE_ABS);
4931f4b34f8SAndrey Smetanin 		return 0;
4941f4b34f8SAndrey Smetanin 	}
4951f4b34f8SAndrey Smetanin 	stimer->exp_time = stimer->count;
4961f4b34f8SAndrey Smetanin 	if (time_now >= stimer->count) {
4971f4b34f8SAndrey Smetanin 		/*
4981f4b34f8SAndrey Smetanin 		 * Expire timer according to Hypervisor Top-Level Functional
4991f4b34f8SAndrey Smetanin 		 * specification v4(15.3.1):
5001f4b34f8SAndrey Smetanin 		 * "If a one shot is enabled and the specified count is in
5011f4b34f8SAndrey Smetanin 		 * the past, it will expire immediately."
5021f4b34f8SAndrey Smetanin 		 */
503f3b138c5SAndrey Smetanin 		stimer_mark_pending(stimer, false);
5041f4b34f8SAndrey Smetanin 		return 0;
5051f4b34f8SAndrey Smetanin 	}
5061f4b34f8SAndrey Smetanin 
507ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_start_one_shot(stimer_to_vcpu(stimer)->vcpu_id,
508ac3e5fcaSAndrey Smetanin 					   stimer->index,
509ac3e5fcaSAndrey Smetanin 					   time_now, stimer->count);
510ac3e5fcaSAndrey Smetanin 
5111f4b34f8SAndrey Smetanin 	hrtimer_start(&stimer->timer,
5121f4b34f8SAndrey Smetanin 		      ktime_add_ns(ktime_now, 100 * (stimer->count - time_now)),
5131f4b34f8SAndrey Smetanin 		      HRTIMER_MODE_ABS);
5141f4b34f8SAndrey Smetanin 	return 0;
5151f4b34f8SAndrey Smetanin }
5161f4b34f8SAndrey Smetanin 
5171f4b34f8SAndrey Smetanin static int stimer_set_config(struct kvm_vcpu_hv_stimer *stimer, u64 config,
5181f4b34f8SAndrey Smetanin 			     bool host)
5191f4b34f8SAndrey Smetanin {
520ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_set_config(stimer_to_vcpu(stimer)->vcpu_id,
521ac3e5fcaSAndrey Smetanin 				       stimer->index, config, host);
522ac3e5fcaSAndrey Smetanin 
523f3b138c5SAndrey Smetanin 	stimer_cleanup(stimer);
52423a3b201SAndrey Smetanin 	if ((stimer->config & HV_STIMER_ENABLE) && HV_STIMER_SINT(config) == 0)
5251f4b34f8SAndrey Smetanin 		config &= ~HV_STIMER_ENABLE;
5261f4b34f8SAndrey Smetanin 	stimer->config = config;
527f3b138c5SAndrey Smetanin 	stimer_mark_pending(stimer, false);
5281f4b34f8SAndrey Smetanin 	return 0;
5291f4b34f8SAndrey Smetanin }
5301f4b34f8SAndrey Smetanin 
5311f4b34f8SAndrey Smetanin static int stimer_set_count(struct kvm_vcpu_hv_stimer *stimer, u64 count,
5321f4b34f8SAndrey Smetanin 			    bool host)
5331f4b34f8SAndrey Smetanin {
534ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_set_count(stimer_to_vcpu(stimer)->vcpu_id,
535ac3e5fcaSAndrey Smetanin 				      stimer->index, count, host);
536ac3e5fcaSAndrey Smetanin 
5371f4b34f8SAndrey Smetanin 	stimer_cleanup(stimer);
538f3b138c5SAndrey Smetanin 	stimer->count = count;
5391f4b34f8SAndrey Smetanin 	if (stimer->count == 0)
5401f4b34f8SAndrey Smetanin 		stimer->config &= ~HV_STIMER_ENABLE;
541f3b138c5SAndrey Smetanin 	else if (stimer->config & HV_STIMER_AUTOENABLE)
5421f4b34f8SAndrey Smetanin 		stimer->config |= HV_STIMER_ENABLE;
543f3b138c5SAndrey Smetanin 	stimer_mark_pending(stimer, false);
5441f4b34f8SAndrey Smetanin 	return 0;
5451f4b34f8SAndrey Smetanin }
5461f4b34f8SAndrey Smetanin 
5471f4b34f8SAndrey Smetanin static int stimer_get_config(struct kvm_vcpu_hv_stimer *stimer, u64 *pconfig)
5481f4b34f8SAndrey Smetanin {
5491f4b34f8SAndrey Smetanin 	*pconfig = stimer->config;
5501f4b34f8SAndrey Smetanin 	return 0;
5511f4b34f8SAndrey Smetanin }
5521f4b34f8SAndrey Smetanin 
5531f4b34f8SAndrey Smetanin static int stimer_get_count(struct kvm_vcpu_hv_stimer *stimer, u64 *pcount)
5541f4b34f8SAndrey Smetanin {
5551f4b34f8SAndrey Smetanin 	*pcount = stimer->count;
5561f4b34f8SAndrey Smetanin 	return 0;
5571f4b34f8SAndrey Smetanin }
5581f4b34f8SAndrey Smetanin 
5591f4b34f8SAndrey Smetanin static int synic_deliver_msg(struct kvm_vcpu_hv_synic *synic, u32 sint,
5601f4b34f8SAndrey Smetanin 			     struct hv_message *src_msg)
5611f4b34f8SAndrey Smetanin {
5621f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
563*3a0e7731SRoman Kagan 	int msg_off = offsetof(struct hv_message_page, sint_message[sint]);
564*3a0e7731SRoman Kagan 	gfn_t msg_page_gfn;
565*3a0e7731SRoman Kagan 	struct hv_message_header hv_hdr;
5661f4b34f8SAndrey Smetanin 	int r;
5671f4b34f8SAndrey Smetanin 
5681f4b34f8SAndrey Smetanin 	if (!(synic->msg_page & HV_SYNIC_SIMP_ENABLE))
5691f4b34f8SAndrey Smetanin 		return -ENOENT;
5701f4b34f8SAndrey Smetanin 
571*3a0e7731SRoman Kagan 	msg_page_gfn = synic->msg_page >> PAGE_SHIFT;
5721f4b34f8SAndrey Smetanin 
573*3a0e7731SRoman Kagan 	/*
574*3a0e7731SRoman Kagan 	 * Strictly following the spec-mandated ordering would assume setting
575*3a0e7731SRoman Kagan 	 * .msg_pending before checking .message_type.  However, this function
576*3a0e7731SRoman Kagan 	 * is only called in vcpu context so the entire update is atomic from
577*3a0e7731SRoman Kagan 	 * guest POV and thus the exact order here doesn't matter.
578*3a0e7731SRoman Kagan 	 */
579*3a0e7731SRoman Kagan 	r = kvm_vcpu_read_guest_page(vcpu, msg_page_gfn, &hv_hdr.message_type,
580*3a0e7731SRoman Kagan 				     msg_off + offsetof(struct hv_message,
581*3a0e7731SRoman Kagan 							header.message_type),
582*3a0e7731SRoman Kagan 				     sizeof(hv_hdr.message_type));
583*3a0e7731SRoman Kagan 	if (r < 0)
5841f4b34f8SAndrey Smetanin 		return r;
585*3a0e7731SRoman Kagan 
586*3a0e7731SRoman Kagan 	if (hv_hdr.message_type != HVMSG_NONE) {
587*3a0e7731SRoman Kagan 		hv_hdr.message_flags.msg_pending = 1;
588*3a0e7731SRoman Kagan 		r = kvm_vcpu_write_guest_page(vcpu, msg_page_gfn,
589*3a0e7731SRoman Kagan 					      &hv_hdr.message_flags,
590*3a0e7731SRoman Kagan 					      msg_off +
591*3a0e7731SRoman Kagan 					      offsetof(struct hv_message,
592*3a0e7731SRoman Kagan 						       header.message_flags),
593*3a0e7731SRoman Kagan 					      sizeof(hv_hdr.message_flags));
594*3a0e7731SRoman Kagan 		if (r < 0)
595*3a0e7731SRoman Kagan 			return r;
596*3a0e7731SRoman Kagan 		return -EAGAIN;
597*3a0e7731SRoman Kagan 	}
598*3a0e7731SRoman Kagan 
599*3a0e7731SRoman Kagan 	r = kvm_vcpu_write_guest_page(vcpu, msg_page_gfn, src_msg, msg_off,
600*3a0e7731SRoman Kagan 				      sizeof(src_msg->header) +
601*3a0e7731SRoman Kagan 				      src_msg->header.payload_size);
602*3a0e7731SRoman Kagan 	if (r < 0)
603*3a0e7731SRoman Kagan 		return r;
604*3a0e7731SRoman Kagan 
605*3a0e7731SRoman Kagan 	r = synic_set_irq(synic, sint);
606*3a0e7731SRoman Kagan 	if (r < 0)
607*3a0e7731SRoman Kagan 		return r;
608*3a0e7731SRoman Kagan 	if (r == 0)
609*3a0e7731SRoman Kagan 		return -EFAULT;
610*3a0e7731SRoman Kagan 	return 0;
6111f4b34f8SAndrey Smetanin }
6121f4b34f8SAndrey Smetanin 
6130cdeabb1SAndrey Smetanin static int stimer_send_msg(struct kvm_vcpu_hv_stimer *stimer)
6141f4b34f8SAndrey Smetanin {
6151f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
6161f4b34f8SAndrey Smetanin 	struct hv_message *msg = &stimer->msg;
6171f4b34f8SAndrey Smetanin 	struct hv_timer_message_payload *payload =
6181f4b34f8SAndrey Smetanin 			(struct hv_timer_message_payload *)&msg->u.payload;
6191f4b34f8SAndrey Smetanin 
6201f4b34f8SAndrey Smetanin 	payload->expiration_time = stimer->exp_time;
6211f4b34f8SAndrey Smetanin 	payload->delivery_time = get_time_ref_counter(vcpu->kvm);
6220cdeabb1SAndrey Smetanin 	return synic_deliver_msg(vcpu_to_synic(vcpu),
6231f4b34f8SAndrey Smetanin 				 HV_STIMER_SINT(stimer->config), msg);
6241f4b34f8SAndrey Smetanin }
6251f4b34f8SAndrey Smetanin 
6261f4b34f8SAndrey Smetanin static void stimer_expiration(struct kvm_vcpu_hv_stimer *stimer)
6271f4b34f8SAndrey Smetanin {
628ac3e5fcaSAndrey Smetanin 	int r;
629ac3e5fcaSAndrey Smetanin 
6300cdeabb1SAndrey Smetanin 	stimer->msg_pending = true;
631ac3e5fcaSAndrey Smetanin 	r = stimer_send_msg(stimer);
632ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_expiration(stimer_to_vcpu(stimer)->vcpu_id,
633ac3e5fcaSAndrey Smetanin 				       stimer->index, r);
634ac3e5fcaSAndrey Smetanin 	if (!r) {
6350cdeabb1SAndrey Smetanin 		stimer->msg_pending = false;
6361f4b34f8SAndrey Smetanin 		if (!(stimer->config & HV_STIMER_PERIODIC))
6371ac1b65aSAndrey Smetanin 			stimer->config &= ~HV_STIMER_ENABLE;
6380cdeabb1SAndrey Smetanin 	}
6391f4b34f8SAndrey Smetanin }
6401f4b34f8SAndrey Smetanin 
6411f4b34f8SAndrey Smetanin void kvm_hv_process_stimers(struct kvm_vcpu *vcpu)
6421f4b34f8SAndrey Smetanin {
6431f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
6441f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
645f3b138c5SAndrey Smetanin 	u64 time_now, exp_time;
6461f4b34f8SAndrey Smetanin 	int i;
6471f4b34f8SAndrey Smetanin 
6481f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
6491f4b34f8SAndrey Smetanin 		if (test_and_clear_bit(i, hv_vcpu->stimer_pending_bitmap)) {
6501f4b34f8SAndrey Smetanin 			stimer = &hv_vcpu->stimer[i];
6511f4b34f8SAndrey Smetanin 			if (stimer->config & HV_STIMER_ENABLE) {
652f3b138c5SAndrey Smetanin 				exp_time = stimer->exp_time;
6530cdeabb1SAndrey Smetanin 
654f3b138c5SAndrey Smetanin 				if (exp_time) {
655f3b138c5SAndrey Smetanin 					time_now =
656f3b138c5SAndrey Smetanin 						get_time_ref_counter(vcpu->kvm);
657f3b138c5SAndrey Smetanin 					if (time_now >= exp_time)
658f3b138c5SAndrey Smetanin 						stimer_expiration(stimer);
659f3b138c5SAndrey Smetanin 				}
660f3b138c5SAndrey Smetanin 
661f3b138c5SAndrey Smetanin 				if ((stimer->config & HV_STIMER_ENABLE) &&
662f1ff89ecSRoman Kagan 				    stimer->count) {
663f1ff89ecSRoman Kagan 					if (!stimer->msg_pending)
6640cdeabb1SAndrey Smetanin 						stimer_start(stimer);
665f1ff89ecSRoman Kagan 				} else
6660cdeabb1SAndrey Smetanin 					stimer_cleanup(stimer);
6671f4b34f8SAndrey Smetanin 			}
6681f4b34f8SAndrey Smetanin 		}
6691f4b34f8SAndrey Smetanin }
6701f4b34f8SAndrey Smetanin 
6711f4b34f8SAndrey Smetanin void kvm_hv_vcpu_uninit(struct kvm_vcpu *vcpu)
6721f4b34f8SAndrey Smetanin {
6731f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
6741f4b34f8SAndrey Smetanin 	int i;
6751f4b34f8SAndrey Smetanin 
6761f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
6771f4b34f8SAndrey Smetanin 		stimer_cleanup(&hv_vcpu->stimer[i]);
6781f4b34f8SAndrey Smetanin }
6791f4b34f8SAndrey Smetanin 
68072bbf935SLadi Prosek bool kvm_hv_assist_page_enabled(struct kvm_vcpu *vcpu)
68172bbf935SLadi Prosek {
68272bbf935SLadi Prosek 	if (!(vcpu->arch.hyperv.hv_vapic & HV_X64_MSR_VP_ASSIST_PAGE_ENABLE))
68372bbf935SLadi Prosek 		return false;
68472bbf935SLadi Prosek 	return vcpu->arch.pv_eoi.msr_val & KVM_MSR_ENABLED;
68572bbf935SLadi Prosek }
68672bbf935SLadi Prosek EXPORT_SYMBOL_GPL(kvm_hv_assist_page_enabled);
68772bbf935SLadi Prosek 
68872bbf935SLadi Prosek bool kvm_hv_get_assist_page(struct kvm_vcpu *vcpu,
68972bbf935SLadi Prosek 			    struct hv_vp_assist_page *assist_page)
69072bbf935SLadi Prosek {
69172bbf935SLadi Prosek 	if (!kvm_hv_assist_page_enabled(vcpu))
69272bbf935SLadi Prosek 		return false;
69372bbf935SLadi Prosek 	return !kvm_read_guest_cached(vcpu->kvm, &vcpu->arch.pv_eoi.data,
69472bbf935SLadi Prosek 				      assist_page, sizeof(*assist_page));
69572bbf935SLadi Prosek }
69672bbf935SLadi Prosek EXPORT_SYMBOL_GPL(kvm_hv_get_assist_page);
69772bbf935SLadi Prosek 
6981f4b34f8SAndrey Smetanin static void stimer_prepare_msg(struct kvm_vcpu_hv_stimer *stimer)
6991f4b34f8SAndrey Smetanin {
7001f4b34f8SAndrey Smetanin 	struct hv_message *msg = &stimer->msg;
7011f4b34f8SAndrey Smetanin 	struct hv_timer_message_payload *payload =
7021f4b34f8SAndrey Smetanin 			(struct hv_timer_message_payload *)&msg->u.payload;
7031f4b34f8SAndrey Smetanin 
7041f4b34f8SAndrey Smetanin 	memset(&msg->header, 0, sizeof(msg->header));
7051f4b34f8SAndrey Smetanin 	msg->header.message_type = HVMSG_TIMER_EXPIRED;
7061f4b34f8SAndrey Smetanin 	msg->header.payload_size = sizeof(*payload);
7071f4b34f8SAndrey Smetanin 
7081f4b34f8SAndrey Smetanin 	payload->timer_index = stimer->index;
7091f4b34f8SAndrey Smetanin 	payload->expiration_time = 0;
7101f4b34f8SAndrey Smetanin 	payload->delivery_time = 0;
7111f4b34f8SAndrey Smetanin }
7121f4b34f8SAndrey Smetanin 
7131f4b34f8SAndrey Smetanin static void stimer_init(struct kvm_vcpu_hv_stimer *stimer, int timer_index)
7141f4b34f8SAndrey Smetanin {
7151f4b34f8SAndrey Smetanin 	memset(stimer, 0, sizeof(*stimer));
7161f4b34f8SAndrey Smetanin 	stimer->index = timer_index;
7171f4b34f8SAndrey Smetanin 	hrtimer_init(&stimer->timer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);
7181f4b34f8SAndrey Smetanin 	stimer->timer.function = stimer_timer_callback;
7191f4b34f8SAndrey Smetanin 	stimer_prepare_msg(stimer);
7201f4b34f8SAndrey Smetanin }
7211f4b34f8SAndrey Smetanin 
7225c919412SAndrey Smetanin void kvm_hv_vcpu_init(struct kvm_vcpu *vcpu)
7235c919412SAndrey Smetanin {
7241f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
7251f4b34f8SAndrey Smetanin 	int i;
7261f4b34f8SAndrey Smetanin 
7271f4b34f8SAndrey Smetanin 	synic_init(&hv_vcpu->synic);
7281f4b34f8SAndrey Smetanin 
7291f4b34f8SAndrey Smetanin 	bitmap_zero(hv_vcpu->stimer_pending_bitmap, HV_SYNIC_STIMER_COUNT);
7301f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
7311f4b34f8SAndrey Smetanin 		stimer_init(&hv_vcpu->stimer[i], i);
7325c919412SAndrey Smetanin }
7335c919412SAndrey Smetanin 
734d3457c87SRoman Kagan void kvm_hv_vcpu_postcreate(struct kvm_vcpu *vcpu)
735d3457c87SRoman Kagan {
736d3457c87SRoman Kagan 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
737d3457c87SRoman Kagan 
738d3457c87SRoman Kagan 	hv_vcpu->vp_index = kvm_vcpu_get_idx(vcpu);
739d3457c87SRoman Kagan }
740d3457c87SRoman Kagan 
741efc479e6SRoman Kagan int kvm_hv_activate_synic(struct kvm_vcpu *vcpu, bool dont_zero_synic_pages)
7425c919412SAndrey Smetanin {
743efc479e6SRoman Kagan 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
744efc479e6SRoman Kagan 
7455c919412SAndrey Smetanin 	/*
7465c919412SAndrey Smetanin 	 * Hyper-V SynIC auto EOI SINT's are
7475c919412SAndrey Smetanin 	 * not compatible with APICV, so deactivate APICV
7485c919412SAndrey Smetanin 	 */
7495c919412SAndrey Smetanin 	kvm_vcpu_deactivate_apicv(vcpu);
750efc479e6SRoman Kagan 	synic->active = true;
751efc479e6SRoman Kagan 	synic->dont_zero_synic_pages = dont_zero_synic_pages;
7525c919412SAndrey Smetanin 	return 0;
7535c919412SAndrey Smetanin }
7545c919412SAndrey Smetanin 
755e83d5887SAndrey Smetanin static bool kvm_hv_msr_partition_wide(u32 msr)
756e83d5887SAndrey Smetanin {
757e83d5887SAndrey Smetanin 	bool r = false;
758e83d5887SAndrey Smetanin 
759e83d5887SAndrey Smetanin 	switch (msr) {
760e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
761e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL:
762e83d5887SAndrey Smetanin 	case HV_X64_MSR_REFERENCE_TSC:
763e83d5887SAndrey Smetanin 	case HV_X64_MSR_TIME_REF_COUNT:
764e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
765e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
766e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
767a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
768a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
769a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
770e83d5887SAndrey Smetanin 		r = true;
771e83d5887SAndrey Smetanin 		break;
772e83d5887SAndrey Smetanin 	}
773e83d5887SAndrey Smetanin 
774e83d5887SAndrey Smetanin 	return r;
775e83d5887SAndrey Smetanin }
776e83d5887SAndrey Smetanin 
777e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_data(struct kvm_vcpu *vcpu,
778e7d9513bSAndrey Smetanin 				     u32 index, u64 *pdata)
779e7d9513bSAndrey Smetanin {
780e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
781e7d9513bSAndrey Smetanin 
782e7d9513bSAndrey Smetanin 	if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param)))
783e7d9513bSAndrey Smetanin 		return -EINVAL;
784e7d9513bSAndrey Smetanin 
785e7d9513bSAndrey Smetanin 	*pdata = hv->hv_crash_param[index];
786e7d9513bSAndrey Smetanin 	return 0;
787e7d9513bSAndrey Smetanin }
788e7d9513bSAndrey Smetanin 
789e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_ctl(struct kvm_vcpu *vcpu, u64 *pdata)
790e7d9513bSAndrey Smetanin {
791e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
792e7d9513bSAndrey Smetanin 
793e7d9513bSAndrey Smetanin 	*pdata = hv->hv_crash_ctl;
794e7d9513bSAndrey Smetanin 	return 0;
795e7d9513bSAndrey Smetanin }
796e7d9513bSAndrey Smetanin 
797e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_ctl(struct kvm_vcpu *vcpu, u64 data, bool host)
798e7d9513bSAndrey Smetanin {
799e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
800e7d9513bSAndrey Smetanin 
801e7d9513bSAndrey Smetanin 	if (host)
802e7d9513bSAndrey Smetanin 		hv->hv_crash_ctl = data & HV_X64_MSR_CRASH_CTL_NOTIFY;
803e7d9513bSAndrey Smetanin 
804e7d9513bSAndrey Smetanin 	if (!host && (data & HV_X64_MSR_CRASH_CTL_NOTIFY)) {
805e7d9513bSAndrey Smetanin 
806e7d9513bSAndrey Smetanin 		vcpu_debug(vcpu, "hv crash (0x%llx 0x%llx 0x%llx 0x%llx 0x%llx)\n",
807e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[0],
808e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[1],
809e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[2],
810e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[3],
811e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[4]);
812e7d9513bSAndrey Smetanin 
813e7d9513bSAndrey Smetanin 		/* Send notification about crash to user space */
814e7d9513bSAndrey Smetanin 		kvm_make_request(KVM_REQ_HV_CRASH, vcpu);
815e7d9513bSAndrey Smetanin 	}
816e7d9513bSAndrey Smetanin 
817e7d9513bSAndrey Smetanin 	return 0;
818e7d9513bSAndrey Smetanin }
819e7d9513bSAndrey Smetanin 
820e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_data(struct kvm_vcpu *vcpu,
821e7d9513bSAndrey Smetanin 				     u32 index, u64 data)
822e7d9513bSAndrey Smetanin {
823e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
824e7d9513bSAndrey Smetanin 
825e7d9513bSAndrey Smetanin 	if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param)))
826e7d9513bSAndrey Smetanin 		return -EINVAL;
827e7d9513bSAndrey Smetanin 
828e7d9513bSAndrey Smetanin 	hv->hv_crash_param[index] = data;
829e7d9513bSAndrey Smetanin 	return 0;
830e7d9513bSAndrey Smetanin }
831e7d9513bSAndrey Smetanin 
832095cf55dSPaolo Bonzini /*
833095cf55dSPaolo Bonzini  * The kvmclock and Hyper-V TSC page use similar formulas, and converting
834095cf55dSPaolo Bonzini  * between them is possible:
835095cf55dSPaolo Bonzini  *
836095cf55dSPaolo Bonzini  * kvmclock formula:
837095cf55dSPaolo Bonzini  *    nsec = (ticks - tsc_timestamp) * tsc_to_system_mul * 2^(tsc_shift-32)
838095cf55dSPaolo Bonzini  *           + system_time
839095cf55dSPaolo Bonzini  *
840095cf55dSPaolo Bonzini  * Hyper-V formula:
841095cf55dSPaolo Bonzini  *    nsec/100 = ticks * scale / 2^64 + offset
842095cf55dSPaolo Bonzini  *
843095cf55dSPaolo Bonzini  * When tsc_timestamp = system_time = 0, offset is zero in the Hyper-V formula.
844095cf55dSPaolo Bonzini  * By dividing the kvmclock formula by 100 and equating what's left we get:
845095cf55dSPaolo Bonzini  *    ticks * scale / 2^64 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100
846095cf55dSPaolo Bonzini  *            scale / 2^64 =         tsc_to_system_mul * 2^(tsc_shift-32) / 100
847095cf55dSPaolo Bonzini  *            scale        =         tsc_to_system_mul * 2^(32+tsc_shift) / 100
848095cf55dSPaolo Bonzini  *
849095cf55dSPaolo Bonzini  * Now expand the kvmclock formula and divide by 100:
850095cf55dSPaolo Bonzini  *    nsec = ticks * tsc_to_system_mul * 2^(tsc_shift-32)
851095cf55dSPaolo Bonzini  *           - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32)
852095cf55dSPaolo Bonzini  *           + system_time
853095cf55dSPaolo Bonzini  *    nsec/100 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100
854095cf55dSPaolo Bonzini  *               - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32) / 100
855095cf55dSPaolo Bonzini  *               + system_time / 100
856095cf55dSPaolo Bonzini  *
857095cf55dSPaolo Bonzini  * Replace tsc_to_system_mul * 2^(tsc_shift-32) / 100 by scale / 2^64:
858095cf55dSPaolo Bonzini  *    nsec/100 = ticks * scale / 2^64
859095cf55dSPaolo Bonzini  *               - tsc_timestamp * scale / 2^64
860095cf55dSPaolo Bonzini  *               + system_time / 100
861095cf55dSPaolo Bonzini  *
862095cf55dSPaolo Bonzini  * Equate with the Hyper-V formula so that ticks * scale / 2^64 cancels out:
863095cf55dSPaolo Bonzini  *    offset = system_time / 100 - tsc_timestamp * scale / 2^64
864095cf55dSPaolo Bonzini  *
865095cf55dSPaolo Bonzini  * These two equivalencies are implemented in this function.
866095cf55dSPaolo Bonzini  */
867095cf55dSPaolo Bonzini static bool compute_tsc_page_parameters(struct pvclock_vcpu_time_info *hv_clock,
868095cf55dSPaolo Bonzini 					HV_REFERENCE_TSC_PAGE *tsc_ref)
869095cf55dSPaolo Bonzini {
870095cf55dSPaolo Bonzini 	u64 max_mul;
871095cf55dSPaolo Bonzini 
872095cf55dSPaolo Bonzini 	if (!(hv_clock->flags & PVCLOCK_TSC_STABLE_BIT))
873095cf55dSPaolo Bonzini 		return false;
874095cf55dSPaolo Bonzini 
875095cf55dSPaolo Bonzini 	/*
876095cf55dSPaolo Bonzini 	 * check if scale would overflow, if so we use the time ref counter
877095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul * 2^(tsc_shift+32) / 100 >= 2^64
878095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul / 100 >= 2^(32-tsc_shift)
879095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul >= 100 * 2^(32-tsc_shift)
880095cf55dSPaolo Bonzini 	 */
881095cf55dSPaolo Bonzini 	max_mul = 100ull << (32 - hv_clock->tsc_shift);
882095cf55dSPaolo Bonzini 	if (hv_clock->tsc_to_system_mul >= max_mul)
883095cf55dSPaolo Bonzini 		return false;
884095cf55dSPaolo Bonzini 
885095cf55dSPaolo Bonzini 	/*
886095cf55dSPaolo Bonzini 	 * Otherwise compute the scale and offset according to the formulas
887095cf55dSPaolo Bonzini 	 * derived above.
888095cf55dSPaolo Bonzini 	 */
889095cf55dSPaolo Bonzini 	tsc_ref->tsc_scale =
890095cf55dSPaolo Bonzini 		mul_u64_u32_div(1ULL << (32 + hv_clock->tsc_shift),
891095cf55dSPaolo Bonzini 				hv_clock->tsc_to_system_mul,
892095cf55dSPaolo Bonzini 				100);
893095cf55dSPaolo Bonzini 
894095cf55dSPaolo Bonzini 	tsc_ref->tsc_offset = hv_clock->system_time;
895095cf55dSPaolo Bonzini 	do_div(tsc_ref->tsc_offset, 100);
896095cf55dSPaolo Bonzini 	tsc_ref->tsc_offset -=
897095cf55dSPaolo Bonzini 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);
898095cf55dSPaolo Bonzini 	return true;
899095cf55dSPaolo Bonzini }
900095cf55dSPaolo Bonzini 
901095cf55dSPaolo Bonzini void kvm_hv_setup_tsc_page(struct kvm *kvm,
902095cf55dSPaolo Bonzini 			   struct pvclock_vcpu_time_info *hv_clock)
903095cf55dSPaolo Bonzini {
904095cf55dSPaolo Bonzini 	struct kvm_hv *hv = &kvm->arch.hyperv;
905095cf55dSPaolo Bonzini 	u32 tsc_seq;
906095cf55dSPaolo Bonzini 	u64 gfn;
907095cf55dSPaolo Bonzini 
908095cf55dSPaolo Bonzini 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));
909095cf55dSPaolo Bonzini 	BUILD_BUG_ON(offsetof(HV_REFERENCE_TSC_PAGE, tsc_sequence) != 0);
910095cf55dSPaolo Bonzini 
911095cf55dSPaolo Bonzini 	if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE))
912095cf55dSPaolo Bonzini 		return;
913095cf55dSPaolo Bonzini 
9143f5ad8beSPaolo Bonzini 	mutex_lock(&kvm->arch.hyperv.hv_lock);
9153f5ad8beSPaolo Bonzini 	if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE))
9163f5ad8beSPaolo Bonzini 		goto out_unlock;
9173f5ad8beSPaolo Bonzini 
918095cf55dSPaolo Bonzini 	gfn = hv->hv_tsc_page >> HV_X64_MSR_TSC_REFERENCE_ADDRESS_SHIFT;
919095cf55dSPaolo Bonzini 	/*
920095cf55dSPaolo Bonzini 	 * Because the TSC parameters only vary when there is a
921095cf55dSPaolo Bonzini 	 * change in the master clock, do not bother with caching.
922095cf55dSPaolo Bonzini 	 */
923095cf55dSPaolo Bonzini 	if (unlikely(kvm_read_guest(kvm, gfn_to_gpa(gfn),
924095cf55dSPaolo Bonzini 				    &tsc_seq, sizeof(tsc_seq))))
9253f5ad8beSPaolo Bonzini 		goto out_unlock;
926095cf55dSPaolo Bonzini 
927095cf55dSPaolo Bonzini 	/*
928095cf55dSPaolo Bonzini 	 * While we're computing and writing the parameters, force the
929095cf55dSPaolo Bonzini 	 * guest to use the time reference count MSR.
930095cf55dSPaolo Bonzini 	 */
931095cf55dSPaolo Bonzini 	hv->tsc_ref.tsc_sequence = 0;
932095cf55dSPaolo Bonzini 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn),
933095cf55dSPaolo Bonzini 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))
9343f5ad8beSPaolo Bonzini 		goto out_unlock;
935095cf55dSPaolo Bonzini 
936095cf55dSPaolo Bonzini 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))
9373f5ad8beSPaolo Bonzini 		goto out_unlock;
938095cf55dSPaolo Bonzini 
939095cf55dSPaolo Bonzini 	/* Ensure sequence is zero before writing the rest of the struct.  */
940095cf55dSPaolo Bonzini 	smp_wmb();
941095cf55dSPaolo Bonzini 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))
9423f5ad8beSPaolo Bonzini 		goto out_unlock;
943095cf55dSPaolo Bonzini 
944095cf55dSPaolo Bonzini 	/*
945095cf55dSPaolo Bonzini 	 * Now switch to the TSC page mechanism by writing the sequence.
946095cf55dSPaolo Bonzini 	 */
947095cf55dSPaolo Bonzini 	tsc_seq++;
948095cf55dSPaolo Bonzini 	if (tsc_seq == 0xFFFFFFFF || tsc_seq == 0)
949095cf55dSPaolo Bonzini 		tsc_seq = 1;
950095cf55dSPaolo Bonzini 
951095cf55dSPaolo Bonzini 	/* Write the struct entirely before the non-zero sequence.  */
952095cf55dSPaolo Bonzini 	smp_wmb();
953095cf55dSPaolo Bonzini 
954095cf55dSPaolo Bonzini 	hv->tsc_ref.tsc_sequence = tsc_seq;
955095cf55dSPaolo Bonzini 	kvm_write_guest(kvm, gfn_to_gpa(gfn),
956095cf55dSPaolo Bonzini 			&hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence));
9573f5ad8beSPaolo Bonzini out_unlock:
9583f5ad8beSPaolo Bonzini 	mutex_unlock(&kvm->arch.hyperv.hv_lock);
959095cf55dSPaolo Bonzini }
960095cf55dSPaolo Bonzini 
961e7d9513bSAndrey Smetanin static int kvm_hv_set_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 data,
962e7d9513bSAndrey Smetanin 			     bool host)
963e83d5887SAndrey Smetanin {
964e83d5887SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
965e83d5887SAndrey Smetanin 	struct kvm_hv *hv = &kvm->arch.hyperv;
966e83d5887SAndrey Smetanin 
967e83d5887SAndrey Smetanin 	switch (msr) {
968e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
969e83d5887SAndrey Smetanin 		hv->hv_guest_os_id = data;
970e83d5887SAndrey Smetanin 		/* setting guest os id to zero disables hypercall page */
971e83d5887SAndrey Smetanin 		if (!hv->hv_guest_os_id)
972e83d5887SAndrey Smetanin 			hv->hv_hypercall &= ~HV_X64_MSR_HYPERCALL_ENABLE;
973e83d5887SAndrey Smetanin 		break;
974e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL: {
975e83d5887SAndrey Smetanin 		u64 gfn;
976e83d5887SAndrey Smetanin 		unsigned long addr;
977e83d5887SAndrey Smetanin 		u8 instructions[4];
978e83d5887SAndrey Smetanin 
979e83d5887SAndrey Smetanin 		/* if guest os id is not set hypercall should remain disabled */
980e83d5887SAndrey Smetanin 		if (!hv->hv_guest_os_id)
981e83d5887SAndrey Smetanin 			break;
982e83d5887SAndrey Smetanin 		if (!(data & HV_X64_MSR_HYPERCALL_ENABLE)) {
983e83d5887SAndrey Smetanin 			hv->hv_hypercall = data;
984e83d5887SAndrey Smetanin 			break;
985e83d5887SAndrey Smetanin 		}
986e83d5887SAndrey Smetanin 		gfn = data >> HV_X64_MSR_HYPERCALL_PAGE_ADDRESS_SHIFT;
987e83d5887SAndrey Smetanin 		addr = gfn_to_hva(kvm, gfn);
988e83d5887SAndrey Smetanin 		if (kvm_is_error_hva(addr))
989e83d5887SAndrey Smetanin 			return 1;
990e83d5887SAndrey Smetanin 		kvm_x86_ops->patch_hypercall(vcpu, instructions);
991e83d5887SAndrey Smetanin 		((unsigned char *)instructions)[3] = 0xc3; /* ret */
992e83d5887SAndrey Smetanin 		if (__copy_to_user((void __user *)addr, instructions, 4))
993e83d5887SAndrey Smetanin 			return 1;
994e83d5887SAndrey Smetanin 		hv->hv_hypercall = data;
995e83d5887SAndrey Smetanin 		mark_page_dirty(kvm, gfn);
996e83d5887SAndrey Smetanin 		break;
997e83d5887SAndrey Smetanin 	}
998095cf55dSPaolo Bonzini 	case HV_X64_MSR_REFERENCE_TSC:
999e83d5887SAndrey Smetanin 		hv->hv_tsc_page = data;
1000095cf55dSPaolo Bonzini 		if (hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE)
1001095cf55dSPaolo Bonzini 			kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
1002e83d5887SAndrey Smetanin 		break;
1003e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
1004e7d9513bSAndrey Smetanin 		return kvm_hv_msr_set_crash_data(vcpu,
1005e7d9513bSAndrey Smetanin 						 msr - HV_X64_MSR_CRASH_P0,
1006e7d9513bSAndrey Smetanin 						 data);
1007e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
1008e7d9513bSAndrey Smetanin 		return kvm_hv_msr_set_crash_ctl(vcpu, data, host);
1009e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
1010e516cebbSAndrey Smetanin 		if (data == 1) {
1011e516cebbSAndrey Smetanin 			vcpu_debug(vcpu, "hyper-v reset requested\n");
1012e516cebbSAndrey Smetanin 			kvm_make_request(KVM_REQ_HV_RESET, vcpu);
1013e516cebbSAndrey Smetanin 		}
1014e516cebbSAndrey Smetanin 		break;
1015a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
1016a2e164e7SVitaly Kuznetsov 		hv->hv_reenlightenment_control = data;
1017a2e164e7SVitaly Kuznetsov 		break;
1018a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
1019a2e164e7SVitaly Kuznetsov 		hv->hv_tsc_emulation_control = data;
1020a2e164e7SVitaly Kuznetsov 		break;
1021a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
1022a2e164e7SVitaly Kuznetsov 		hv->hv_tsc_emulation_status = data;
1023a2e164e7SVitaly Kuznetsov 		break;
102444883f01SPaolo Bonzini 	case HV_X64_MSR_TIME_REF_COUNT:
102544883f01SPaolo Bonzini 		/* read-only, but still ignore it if host-initiated */
102644883f01SPaolo Bonzini 		if (!host)
102744883f01SPaolo Bonzini 			return 1;
102844883f01SPaolo Bonzini 		break;
1029e83d5887SAndrey Smetanin 	default:
1030e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n",
1031e83d5887SAndrey Smetanin 			    msr, data);
1032e83d5887SAndrey Smetanin 		return 1;
1033e83d5887SAndrey Smetanin 	}
1034e83d5887SAndrey Smetanin 	return 0;
1035e83d5887SAndrey Smetanin }
1036e83d5887SAndrey Smetanin 
10379eec50b8SAndrey Smetanin /* Calculate cpu time spent by current task in 100ns units */
10389eec50b8SAndrey Smetanin static u64 current_task_runtime_100ns(void)
10399eec50b8SAndrey Smetanin {
10405613fda9SFrederic Weisbecker 	u64 utime, stime;
10419eec50b8SAndrey Smetanin 
10429eec50b8SAndrey Smetanin 	task_cputime_adjusted(current, &utime, &stime);
10435613fda9SFrederic Weisbecker 
10445613fda9SFrederic Weisbecker 	return div_u64(utime + stime, 100);
10459eec50b8SAndrey Smetanin }
10469eec50b8SAndrey Smetanin 
10479eec50b8SAndrey Smetanin static int kvm_hv_set_msr(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host)
1048e83d5887SAndrey Smetanin {
10491779a39fSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
1050e83d5887SAndrey Smetanin 
1051e83d5887SAndrey Smetanin 	switch (msr) {
105287ee613dSVitaly Kuznetsov 	case HV_X64_MSR_VP_INDEX: {
105387ee613dSVitaly Kuznetsov 		struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
105487ee613dSVitaly Kuznetsov 		int vcpu_idx = kvm_vcpu_get_idx(vcpu);
105587ee613dSVitaly Kuznetsov 		u32 new_vp_index = (u32)data;
105687ee613dSVitaly Kuznetsov 
105787ee613dSVitaly Kuznetsov 		if (!host || new_vp_index >= KVM_MAX_VCPUS)
1058d3457c87SRoman Kagan 			return 1;
105987ee613dSVitaly Kuznetsov 
106087ee613dSVitaly Kuznetsov 		if (new_vp_index == hv_vcpu->vp_index)
106187ee613dSVitaly Kuznetsov 			return 0;
106287ee613dSVitaly Kuznetsov 
106387ee613dSVitaly Kuznetsov 		/*
106487ee613dSVitaly Kuznetsov 		 * The VP index is initialized to vcpu_index by
106587ee613dSVitaly Kuznetsov 		 * kvm_hv_vcpu_postcreate so they initially match.  Now the
106687ee613dSVitaly Kuznetsov 		 * VP index is changing, adjust num_mismatched_vp_indexes if
106787ee613dSVitaly Kuznetsov 		 * it now matches or no longer matches vcpu_idx.
106887ee613dSVitaly Kuznetsov 		 */
106987ee613dSVitaly Kuznetsov 		if (hv_vcpu->vp_index == vcpu_idx)
107087ee613dSVitaly Kuznetsov 			atomic_inc(&hv->num_mismatched_vp_indexes);
107187ee613dSVitaly Kuznetsov 		else if (new_vp_index == vcpu_idx)
107287ee613dSVitaly Kuznetsov 			atomic_dec(&hv->num_mismatched_vp_indexes);
107387ee613dSVitaly Kuznetsov 
107487ee613dSVitaly Kuznetsov 		hv_vcpu->vp_index = new_vp_index;
1075d3457c87SRoman Kagan 		break;
107687ee613dSVitaly Kuznetsov 	}
1077d4abc577SLadi Prosek 	case HV_X64_MSR_VP_ASSIST_PAGE: {
1078e83d5887SAndrey Smetanin 		u64 gfn;
1079e83d5887SAndrey Smetanin 		unsigned long addr;
1080e83d5887SAndrey Smetanin 
1081d4abc577SLadi Prosek 		if (!(data & HV_X64_MSR_VP_ASSIST_PAGE_ENABLE)) {
10821779a39fSVitaly Kuznetsov 			hv_vcpu->hv_vapic = data;
108372bbf935SLadi Prosek 			if (kvm_lapic_enable_pv_eoi(vcpu, 0, 0))
1084e83d5887SAndrey Smetanin 				return 1;
1085e83d5887SAndrey Smetanin 			break;
1086e83d5887SAndrey Smetanin 		}
1087d4abc577SLadi Prosek 		gfn = data >> HV_X64_MSR_VP_ASSIST_PAGE_ADDRESS_SHIFT;
1088e83d5887SAndrey Smetanin 		addr = kvm_vcpu_gfn_to_hva(vcpu, gfn);
1089e83d5887SAndrey Smetanin 		if (kvm_is_error_hva(addr))
1090e83d5887SAndrey Smetanin 			return 1;
109112e0c618SVitaly Kuznetsov 
109212e0c618SVitaly Kuznetsov 		/*
109312e0c618SVitaly Kuznetsov 		 * Clear apic_assist portion of f(struct hv_vp_assist_page
109412e0c618SVitaly Kuznetsov 		 * only, there can be valuable data in the rest which needs
109512e0c618SVitaly Kuznetsov 		 * to be preserved e.g. on migration.
109612e0c618SVitaly Kuznetsov 		 */
109712e0c618SVitaly Kuznetsov 		if (__clear_user((void __user *)addr, sizeof(u32)))
1098e83d5887SAndrey Smetanin 			return 1;
10991779a39fSVitaly Kuznetsov 		hv_vcpu->hv_vapic = data;
1100e83d5887SAndrey Smetanin 		kvm_vcpu_mark_page_dirty(vcpu, gfn);
1101e83d5887SAndrey Smetanin 		if (kvm_lapic_enable_pv_eoi(vcpu,
110272bbf935SLadi Prosek 					    gfn_to_gpa(gfn) | KVM_MSR_ENABLED,
110372bbf935SLadi Prosek 					    sizeof(struct hv_vp_assist_page)))
1104e83d5887SAndrey Smetanin 			return 1;
1105e83d5887SAndrey Smetanin 		break;
1106e83d5887SAndrey Smetanin 	}
1107e83d5887SAndrey Smetanin 	case HV_X64_MSR_EOI:
1108e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_EOI, data);
1109e83d5887SAndrey Smetanin 	case HV_X64_MSR_ICR:
1110e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_ICR, data);
1111e83d5887SAndrey Smetanin 	case HV_X64_MSR_TPR:
1112e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_TASKPRI, data);
11139eec50b8SAndrey Smetanin 	case HV_X64_MSR_VP_RUNTIME:
11149eec50b8SAndrey Smetanin 		if (!host)
11159eec50b8SAndrey Smetanin 			return 1;
11161779a39fSVitaly Kuznetsov 		hv_vcpu->runtime_offset = data - current_task_runtime_100ns();
11179eec50b8SAndrey Smetanin 		break;
11185c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
11195c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
11205c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
11215c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
11225c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
11235c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
11245c919412SAndrey Smetanin 		return synic_set_msr(vcpu_to_synic(vcpu), msr, data, host);
11251f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_CONFIG:
11261f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_CONFIG:
11271f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_CONFIG:
11281f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_CONFIG: {
11291f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
11301f4b34f8SAndrey Smetanin 
11311f4b34f8SAndrey Smetanin 		return stimer_set_config(vcpu_to_stimer(vcpu, timer_index),
11321f4b34f8SAndrey Smetanin 					 data, host);
11331f4b34f8SAndrey Smetanin 	}
11341f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_COUNT:
11351f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_COUNT:
11361f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_COUNT:
11371f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_COUNT: {
11381f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
11391f4b34f8SAndrey Smetanin 
11401f4b34f8SAndrey Smetanin 		return stimer_set_count(vcpu_to_stimer(vcpu, timer_index),
11411f4b34f8SAndrey Smetanin 					data, host);
11421f4b34f8SAndrey Smetanin 	}
114344883f01SPaolo Bonzini 	case HV_X64_MSR_TSC_FREQUENCY:
114444883f01SPaolo Bonzini 	case HV_X64_MSR_APIC_FREQUENCY:
114544883f01SPaolo Bonzini 		/* read-only, but still ignore it if host-initiated */
114644883f01SPaolo Bonzini 		if (!host)
114744883f01SPaolo Bonzini 			return 1;
114844883f01SPaolo Bonzini 		break;
1149e83d5887SAndrey Smetanin 	default:
1150e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n",
1151e83d5887SAndrey Smetanin 			    msr, data);
1152e83d5887SAndrey Smetanin 		return 1;
1153e83d5887SAndrey Smetanin 	}
1154e83d5887SAndrey Smetanin 
1155e83d5887SAndrey Smetanin 	return 0;
1156e83d5887SAndrey Smetanin }
1157e83d5887SAndrey Smetanin 
1158e83d5887SAndrey Smetanin static int kvm_hv_get_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata)
1159e83d5887SAndrey Smetanin {
1160e83d5887SAndrey Smetanin 	u64 data = 0;
1161e83d5887SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
1162e83d5887SAndrey Smetanin 	struct kvm_hv *hv = &kvm->arch.hyperv;
1163e83d5887SAndrey Smetanin 
1164e83d5887SAndrey Smetanin 	switch (msr) {
1165e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
1166e83d5887SAndrey Smetanin 		data = hv->hv_guest_os_id;
1167e83d5887SAndrey Smetanin 		break;
1168e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL:
1169e83d5887SAndrey Smetanin 		data = hv->hv_hypercall;
1170e83d5887SAndrey Smetanin 		break;
117193bf4172SAndrey Smetanin 	case HV_X64_MSR_TIME_REF_COUNT:
117293bf4172SAndrey Smetanin 		data = get_time_ref_counter(kvm);
1173e83d5887SAndrey Smetanin 		break;
1174e83d5887SAndrey Smetanin 	case HV_X64_MSR_REFERENCE_TSC:
1175e83d5887SAndrey Smetanin 		data = hv->hv_tsc_page;
1176e83d5887SAndrey Smetanin 		break;
1177e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
1178e7d9513bSAndrey Smetanin 		return kvm_hv_msr_get_crash_data(vcpu,
1179e7d9513bSAndrey Smetanin 						 msr - HV_X64_MSR_CRASH_P0,
1180e7d9513bSAndrey Smetanin 						 pdata);
1181e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
1182e7d9513bSAndrey Smetanin 		return kvm_hv_msr_get_crash_ctl(vcpu, pdata);
1183e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
1184e516cebbSAndrey Smetanin 		data = 0;
1185e516cebbSAndrey Smetanin 		break;
1186a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
1187a2e164e7SVitaly Kuznetsov 		data = hv->hv_reenlightenment_control;
1188a2e164e7SVitaly Kuznetsov 		break;
1189a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
1190a2e164e7SVitaly Kuznetsov 		data = hv->hv_tsc_emulation_control;
1191a2e164e7SVitaly Kuznetsov 		break;
1192a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
1193a2e164e7SVitaly Kuznetsov 		data = hv->hv_tsc_emulation_status;
1194a2e164e7SVitaly Kuznetsov 		break;
1195e83d5887SAndrey Smetanin 	default:
1196e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr);
1197e83d5887SAndrey Smetanin 		return 1;
1198e83d5887SAndrey Smetanin 	}
1199e83d5887SAndrey Smetanin 
1200e83d5887SAndrey Smetanin 	*pdata = data;
1201e83d5887SAndrey Smetanin 	return 0;
1202e83d5887SAndrey Smetanin }
1203e83d5887SAndrey Smetanin 
120444883f01SPaolo Bonzini static int kvm_hv_get_msr(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata,
120544883f01SPaolo Bonzini 			  bool host)
1206e83d5887SAndrey Smetanin {
1207e83d5887SAndrey Smetanin 	u64 data = 0;
12081779a39fSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
1209e83d5887SAndrey Smetanin 
1210e83d5887SAndrey Smetanin 	switch (msr) {
1211d3457c87SRoman Kagan 	case HV_X64_MSR_VP_INDEX:
12121779a39fSVitaly Kuznetsov 		data = hv_vcpu->vp_index;
1213e83d5887SAndrey Smetanin 		break;
1214e83d5887SAndrey Smetanin 	case HV_X64_MSR_EOI:
1215e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_EOI, pdata);
1216e83d5887SAndrey Smetanin 	case HV_X64_MSR_ICR:
1217e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_ICR, pdata);
1218e83d5887SAndrey Smetanin 	case HV_X64_MSR_TPR:
1219e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_TASKPRI, pdata);
1220d4abc577SLadi Prosek 	case HV_X64_MSR_VP_ASSIST_PAGE:
12211779a39fSVitaly Kuznetsov 		data = hv_vcpu->hv_vapic;
1222e83d5887SAndrey Smetanin 		break;
12239eec50b8SAndrey Smetanin 	case HV_X64_MSR_VP_RUNTIME:
12241779a39fSVitaly Kuznetsov 		data = current_task_runtime_100ns() + hv_vcpu->runtime_offset;
12259eec50b8SAndrey Smetanin 		break;
12265c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
12275c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
12285c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
12295c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
12305c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
12315c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
123244883f01SPaolo Bonzini 		return synic_get_msr(vcpu_to_synic(vcpu), msr, pdata, host);
12331f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_CONFIG:
12341f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_CONFIG:
12351f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_CONFIG:
12361f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_CONFIG: {
12371f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
12381f4b34f8SAndrey Smetanin 
12391f4b34f8SAndrey Smetanin 		return stimer_get_config(vcpu_to_stimer(vcpu, timer_index),
12401f4b34f8SAndrey Smetanin 					 pdata);
12411f4b34f8SAndrey Smetanin 	}
12421f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_COUNT:
12431f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_COUNT:
12441f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_COUNT:
12451f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_COUNT: {
12461f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
12471f4b34f8SAndrey Smetanin 
12481f4b34f8SAndrey Smetanin 		return stimer_get_count(vcpu_to_stimer(vcpu, timer_index),
12491f4b34f8SAndrey Smetanin 					pdata);
12501f4b34f8SAndrey Smetanin 	}
125172c139baSLadi Prosek 	case HV_X64_MSR_TSC_FREQUENCY:
125272c139baSLadi Prosek 		data = (u64)vcpu->arch.virtual_tsc_khz * 1000;
125372c139baSLadi Prosek 		break;
125472c139baSLadi Prosek 	case HV_X64_MSR_APIC_FREQUENCY:
125572c139baSLadi Prosek 		data = APIC_BUS_FREQUENCY;
125672c139baSLadi Prosek 		break;
1257e83d5887SAndrey Smetanin 	default:
1258e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr);
1259e83d5887SAndrey Smetanin 		return 1;
1260e83d5887SAndrey Smetanin 	}
1261e83d5887SAndrey Smetanin 	*pdata = data;
1262e83d5887SAndrey Smetanin 	return 0;
1263e83d5887SAndrey Smetanin }
1264e83d5887SAndrey Smetanin 
1265e7d9513bSAndrey Smetanin int kvm_hv_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host)
1266e83d5887SAndrey Smetanin {
1267e83d5887SAndrey Smetanin 	if (kvm_hv_msr_partition_wide(msr)) {
1268e83d5887SAndrey Smetanin 		int r;
1269e83d5887SAndrey Smetanin 
12703f5ad8beSPaolo Bonzini 		mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock);
1271e7d9513bSAndrey Smetanin 		r = kvm_hv_set_msr_pw(vcpu, msr, data, host);
12723f5ad8beSPaolo Bonzini 		mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock);
1273e83d5887SAndrey Smetanin 		return r;
1274e83d5887SAndrey Smetanin 	} else
12759eec50b8SAndrey Smetanin 		return kvm_hv_set_msr(vcpu, msr, data, host);
1276e83d5887SAndrey Smetanin }
1277e83d5887SAndrey Smetanin 
127844883f01SPaolo Bonzini int kvm_hv_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata, bool host)
1279e83d5887SAndrey Smetanin {
1280e83d5887SAndrey Smetanin 	if (kvm_hv_msr_partition_wide(msr)) {
1281e83d5887SAndrey Smetanin 		int r;
1282e83d5887SAndrey Smetanin 
12833f5ad8beSPaolo Bonzini 		mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock);
1284e83d5887SAndrey Smetanin 		r = kvm_hv_get_msr_pw(vcpu, msr, pdata);
12853f5ad8beSPaolo Bonzini 		mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock);
1286e83d5887SAndrey Smetanin 		return r;
1287e83d5887SAndrey Smetanin 	} else
128844883f01SPaolo Bonzini 		return kvm_hv_get_msr(vcpu, msr, pdata, host);
1289e83d5887SAndrey Smetanin }
1290e83d5887SAndrey Smetanin 
1291f21dd494SVitaly Kuznetsov static __always_inline unsigned long *sparse_set_to_vcpu_mask(
1292f21dd494SVitaly Kuznetsov 	struct kvm *kvm, u64 *sparse_banks, u64 valid_bank_mask,
1293f21dd494SVitaly Kuznetsov 	u64 *vp_bitmap, unsigned long *vcpu_bitmap)
1294c7012676SVitaly Kuznetsov {
1295f21dd494SVitaly Kuznetsov 	struct kvm_hv *hv = &kvm->arch.hyperv;
1296f21dd494SVitaly Kuznetsov 	struct kvm_vcpu *vcpu;
1297f21dd494SVitaly Kuznetsov 	int i, bank, sbank = 0;
1298c7012676SVitaly Kuznetsov 
1299f21dd494SVitaly Kuznetsov 	memset(vp_bitmap, 0,
1300f21dd494SVitaly Kuznetsov 	       KVM_HV_MAX_SPARSE_VCPU_SET_BITS * sizeof(*vp_bitmap));
1301f21dd494SVitaly Kuznetsov 	for_each_set_bit(bank, (unsigned long *)&valid_bank_mask,
1302f21dd494SVitaly Kuznetsov 			 KVM_HV_MAX_SPARSE_VCPU_SET_BITS)
1303f21dd494SVitaly Kuznetsov 		vp_bitmap[bank] = sparse_banks[sbank++];
1304c7012676SVitaly Kuznetsov 
1305f21dd494SVitaly Kuznetsov 	if (likely(!atomic_read(&hv->num_mismatched_vp_indexes))) {
1306f21dd494SVitaly Kuznetsov 		/* for all vcpus vp_index == vcpu_idx */
1307f21dd494SVitaly Kuznetsov 		return (unsigned long *)vp_bitmap;
1308f21dd494SVitaly Kuznetsov 	}
1309c7012676SVitaly Kuznetsov 
1310f21dd494SVitaly Kuznetsov 	bitmap_zero(vcpu_bitmap, KVM_MAX_VCPUS);
1311f21dd494SVitaly Kuznetsov 	kvm_for_each_vcpu(i, vcpu, kvm) {
1312f21dd494SVitaly Kuznetsov 		if (test_bit(vcpu_to_hv_vcpu(vcpu)->vp_index,
1313f21dd494SVitaly Kuznetsov 			     (unsigned long *)vp_bitmap))
1314f21dd494SVitaly Kuznetsov 			__set_bit(i, vcpu_bitmap);
1315f21dd494SVitaly Kuznetsov 	}
1316f21dd494SVitaly Kuznetsov 	return vcpu_bitmap;
1317c7012676SVitaly Kuznetsov }
1318c7012676SVitaly Kuznetsov 
1319e2f11f42SVitaly Kuznetsov static u64 kvm_hv_flush_tlb(struct kvm_vcpu *current_vcpu, u64 ingpa,
1320c7012676SVitaly Kuznetsov 			    u16 rep_cnt, bool ex)
1321e2f11f42SVitaly Kuznetsov {
1322e2f11f42SVitaly Kuznetsov 	struct kvm *kvm = current_vcpu->kvm;
13232cefc5feSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &current_vcpu->arch.hyperv;
1324c7012676SVitaly Kuznetsov 	struct hv_tlb_flush_ex flush_ex;
1325e2f11f42SVitaly Kuznetsov 	struct hv_tlb_flush flush;
1326f21dd494SVitaly Kuznetsov 	u64 vp_bitmap[KVM_HV_MAX_SPARSE_VCPU_SET_BITS];
1327f21dd494SVitaly Kuznetsov 	DECLARE_BITMAP(vcpu_bitmap, KVM_MAX_VCPUS);
1328f21dd494SVitaly Kuznetsov 	unsigned long *vcpu_mask;
13292cefc5feSVitaly Kuznetsov 	u64 valid_bank_mask;
1330c7012676SVitaly Kuznetsov 	u64 sparse_banks[64];
1331f21dd494SVitaly Kuznetsov 	int sparse_banks_len;
1332c7012676SVitaly Kuznetsov 	bool all_cpus;
1333e2f11f42SVitaly Kuznetsov 
1334c7012676SVitaly Kuznetsov 	if (!ex) {
1335e2f11f42SVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &flush, sizeof(flush))))
1336e2f11f42SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1337e2f11f42SVitaly Kuznetsov 
1338c7012676SVitaly Kuznetsov 		trace_kvm_hv_flush_tlb(flush.processor_mask,
1339c7012676SVitaly Kuznetsov 				       flush.address_space, flush.flags);
1340c7012676SVitaly Kuznetsov 
13412cefc5feSVitaly Kuznetsov 		valid_bank_mask = BIT_ULL(0);
1342c7012676SVitaly Kuznetsov 		sparse_banks[0] = flush.processor_mask;
1343c7012676SVitaly Kuznetsov 		all_cpus = flush.flags & HV_FLUSH_ALL_PROCESSORS;
1344c7012676SVitaly Kuznetsov 	} else {
1345c7012676SVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &flush_ex,
1346c7012676SVitaly Kuznetsov 					    sizeof(flush_ex))))
1347c7012676SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1348c7012676SVitaly Kuznetsov 
1349c7012676SVitaly Kuznetsov 		trace_kvm_hv_flush_tlb_ex(flush_ex.hv_vp_set.valid_bank_mask,
1350c7012676SVitaly Kuznetsov 					  flush_ex.hv_vp_set.format,
1351c7012676SVitaly Kuznetsov 					  flush_ex.address_space,
1352c7012676SVitaly Kuznetsov 					  flush_ex.flags);
1353c7012676SVitaly Kuznetsov 
1354c7012676SVitaly Kuznetsov 		valid_bank_mask = flush_ex.hv_vp_set.valid_bank_mask;
1355c7012676SVitaly Kuznetsov 		all_cpus = flush_ex.hv_vp_set.format !=
1356c7012676SVitaly Kuznetsov 			HV_GENERIC_SET_SPARSE_4K;
1357c7012676SVitaly Kuznetsov 
13580b0a31baSVitaly Kuznetsov 		sparse_banks_len =
13590b0a31baSVitaly Kuznetsov 			bitmap_weight((unsigned long *)&valid_bank_mask, 64) *
1360c7012676SVitaly Kuznetsov 			sizeof(sparse_banks[0]);
1361c7012676SVitaly Kuznetsov 
1362c7012676SVitaly Kuznetsov 		if (!sparse_banks_len && !all_cpus)
1363c7012676SVitaly Kuznetsov 			goto ret_success;
1364c7012676SVitaly Kuznetsov 
1365c7012676SVitaly Kuznetsov 		if (!all_cpus &&
1366c7012676SVitaly Kuznetsov 		    kvm_read_guest(kvm,
1367c7012676SVitaly Kuznetsov 				   ingpa + offsetof(struct hv_tlb_flush_ex,
1368c7012676SVitaly Kuznetsov 						    hv_vp_set.bank_contents),
1369c7012676SVitaly Kuznetsov 				   sparse_banks,
1370c7012676SVitaly Kuznetsov 				   sparse_banks_len))
1371c7012676SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1372c7012676SVitaly Kuznetsov 	}
1373e2f11f42SVitaly Kuznetsov 
1374f21dd494SVitaly Kuznetsov 	cpumask_clear(&hv_vcpu->tlb_flush);
1375f21dd494SVitaly Kuznetsov 
1376f21dd494SVitaly Kuznetsov 	vcpu_mask = all_cpus ? NULL :
1377f21dd494SVitaly Kuznetsov 		sparse_set_to_vcpu_mask(kvm, sparse_banks, valid_bank_mask,
1378f21dd494SVitaly Kuznetsov 					vp_bitmap, vcpu_bitmap);
1379f21dd494SVitaly Kuznetsov 
13802cefc5feSVitaly Kuznetsov 	/*
13812cefc5feSVitaly Kuznetsov 	 * vcpu->arch.cr3 may not be up-to-date for running vCPUs so we can't
13822cefc5feSVitaly Kuznetsov 	 * analyze it here, flush TLB regardless of the specified address space.
13832cefc5feSVitaly Kuznetsov 	 */
1384a812297cSVitaly Kuznetsov 	kvm_make_vcpus_request_mask(kvm,
1385a812297cSVitaly Kuznetsov 				    KVM_REQ_TLB_FLUSH | KVM_REQUEST_NO_WAKEUP,
1386f21dd494SVitaly Kuznetsov 				    vcpu_mask, &hv_vcpu->tlb_flush);
1387e2f11f42SVitaly Kuznetsov 
1388c7012676SVitaly Kuznetsov ret_success:
1389e2f11f42SVitaly Kuznetsov 	/* We always do full TLB flush, set rep_done = rep_cnt. */
1390e2f11f42SVitaly Kuznetsov 	return (u64)HV_STATUS_SUCCESS |
1391e2f11f42SVitaly Kuznetsov 		((u64)rep_cnt << HV_HYPERCALL_REP_COMP_OFFSET);
1392e2f11f42SVitaly Kuznetsov }
1393e2f11f42SVitaly Kuznetsov 
1394f21dd494SVitaly Kuznetsov static void kvm_send_ipi_to_many(struct kvm *kvm, u32 vector,
1395f21dd494SVitaly Kuznetsov 				 unsigned long *vcpu_bitmap)
1396f21dd494SVitaly Kuznetsov {
1397f21dd494SVitaly Kuznetsov 	struct kvm_lapic_irq irq = {
1398f21dd494SVitaly Kuznetsov 		.delivery_mode = APIC_DM_FIXED,
1399f21dd494SVitaly Kuznetsov 		.vector = vector
1400f21dd494SVitaly Kuznetsov 	};
1401f21dd494SVitaly Kuznetsov 	struct kvm_vcpu *vcpu;
1402f21dd494SVitaly Kuznetsov 	int i;
1403f21dd494SVitaly Kuznetsov 
1404f21dd494SVitaly Kuznetsov 	kvm_for_each_vcpu(i, vcpu, kvm) {
1405f21dd494SVitaly Kuznetsov 		if (vcpu_bitmap && !test_bit(i, vcpu_bitmap))
1406f21dd494SVitaly Kuznetsov 			continue;
1407f21dd494SVitaly Kuznetsov 
1408f21dd494SVitaly Kuznetsov 		/* We fail only when APIC is disabled */
1409f21dd494SVitaly Kuznetsov 		kvm_apic_set_irq(vcpu, &irq, NULL);
1410f21dd494SVitaly Kuznetsov 	}
1411f21dd494SVitaly Kuznetsov }
1412f21dd494SVitaly Kuznetsov 
1413214ff83dSVitaly Kuznetsov static u64 kvm_hv_send_ipi(struct kvm_vcpu *current_vcpu, u64 ingpa, u64 outgpa,
1414214ff83dSVitaly Kuznetsov 			   bool ex, bool fast)
1415214ff83dSVitaly Kuznetsov {
1416214ff83dSVitaly Kuznetsov 	struct kvm *kvm = current_vcpu->kvm;
1417214ff83dSVitaly Kuznetsov 	struct hv_send_ipi_ex send_ipi_ex;
1418214ff83dSVitaly Kuznetsov 	struct hv_send_ipi send_ipi;
1419f21dd494SVitaly Kuznetsov 	u64 vp_bitmap[KVM_HV_MAX_SPARSE_VCPU_SET_BITS];
1420f21dd494SVitaly Kuznetsov 	DECLARE_BITMAP(vcpu_bitmap, KVM_MAX_VCPUS);
1421f21dd494SVitaly Kuznetsov 	unsigned long *vcpu_mask;
1422214ff83dSVitaly Kuznetsov 	unsigned long valid_bank_mask;
1423214ff83dSVitaly Kuznetsov 	u64 sparse_banks[64];
1424f21dd494SVitaly Kuznetsov 	int sparse_banks_len;
1425f21dd494SVitaly Kuznetsov 	u32 vector;
1426214ff83dSVitaly Kuznetsov 	bool all_cpus;
1427214ff83dSVitaly Kuznetsov 
1428214ff83dSVitaly Kuznetsov 	if (!ex) {
1429214ff83dSVitaly Kuznetsov 		if (!fast) {
1430214ff83dSVitaly Kuznetsov 			if (unlikely(kvm_read_guest(kvm, ingpa, &send_ipi,
1431214ff83dSVitaly Kuznetsov 						    sizeof(send_ipi))))
1432214ff83dSVitaly Kuznetsov 				return HV_STATUS_INVALID_HYPERCALL_INPUT;
1433214ff83dSVitaly Kuznetsov 			sparse_banks[0] = send_ipi.cpu_mask;
1434f21dd494SVitaly Kuznetsov 			vector = send_ipi.vector;
1435214ff83dSVitaly Kuznetsov 		} else {
1436214ff83dSVitaly Kuznetsov 			/* 'reserved' part of hv_send_ipi should be 0 */
1437214ff83dSVitaly Kuznetsov 			if (unlikely(ingpa >> 32 != 0))
1438214ff83dSVitaly Kuznetsov 				return HV_STATUS_INVALID_HYPERCALL_INPUT;
1439214ff83dSVitaly Kuznetsov 			sparse_banks[0] = outgpa;
1440f21dd494SVitaly Kuznetsov 			vector = (u32)ingpa;
1441214ff83dSVitaly Kuznetsov 		}
1442214ff83dSVitaly Kuznetsov 		all_cpus = false;
1443214ff83dSVitaly Kuznetsov 		valid_bank_mask = BIT_ULL(0);
1444214ff83dSVitaly Kuznetsov 
1445f21dd494SVitaly Kuznetsov 		trace_kvm_hv_send_ipi(vector, sparse_banks[0]);
1446214ff83dSVitaly Kuznetsov 	} else {
1447214ff83dSVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &send_ipi_ex,
1448214ff83dSVitaly Kuznetsov 					    sizeof(send_ipi_ex))))
1449214ff83dSVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1450214ff83dSVitaly Kuznetsov 
1451214ff83dSVitaly Kuznetsov 		trace_kvm_hv_send_ipi_ex(send_ipi_ex.vector,
1452214ff83dSVitaly Kuznetsov 					 send_ipi_ex.vp_set.format,
1453214ff83dSVitaly Kuznetsov 					 send_ipi_ex.vp_set.valid_bank_mask);
1454214ff83dSVitaly Kuznetsov 
1455f21dd494SVitaly Kuznetsov 		vector = send_ipi_ex.vector;
1456214ff83dSVitaly Kuznetsov 		valid_bank_mask = send_ipi_ex.vp_set.valid_bank_mask;
1457214ff83dSVitaly Kuznetsov 		sparse_banks_len = bitmap_weight(&valid_bank_mask, 64) *
1458214ff83dSVitaly Kuznetsov 			sizeof(sparse_banks[0]);
1459214ff83dSVitaly Kuznetsov 
1460214ff83dSVitaly Kuznetsov 		all_cpus = send_ipi_ex.vp_set.format == HV_GENERIC_SET_ALL;
1461214ff83dSVitaly Kuznetsov 
1462214ff83dSVitaly Kuznetsov 		if (!sparse_banks_len)
1463214ff83dSVitaly Kuznetsov 			goto ret_success;
1464214ff83dSVitaly Kuznetsov 
1465214ff83dSVitaly Kuznetsov 		if (!all_cpus &&
1466214ff83dSVitaly Kuznetsov 		    kvm_read_guest(kvm,
1467214ff83dSVitaly Kuznetsov 				   ingpa + offsetof(struct hv_send_ipi_ex,
1468214ff83dSVitaly Kuznetsov 						    vp_set.bank_contents),
1469214ff83dSVitaly Kuznetsov 				   sparse_banks,
1470214ff83dSVitaly Kuznetsov 				   sparse_banks_len))
1471214ff83dSVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1472214ff83dSVitaly Kuznetsov 	}
1473214ff83dSVitaly Kuznetsov 
1474f21dd494SVitaly Kuznetsov 	if ((vector < HV_IPI_LOW_VECTOR) || (vector > HV_IPI_HIGH_VECTOR))
1475214ff83dSVitaly Kuznetsov 		return HV_STATUS_INVALID_HYPERCALL_INPUT;
1476214ff83dSVitaly Kuznetsov 
1477f21dd494SVitaly Kuznetsov 	vcpu_mask = all_cpus ? NULL :
1478f21dd494SVitaly Kuznetsov 		sparse_set_to_vcpu_mask(kvm, sparse_banks, valid_bank_mask,
1479f21dd494SVitaly Kuznetsov 					vp_bitmap, vcpu_bitmap);
1480214ff83dSVitaly Kuznetsov 
1481f21dd494SVitaly Kuznetsov 	kvm_send_ipi_to_many(kvm, vector, vcpu_mask);
1482214ff83dSVitaly Kuznetsov 
1483214ff83dSVitaly Kuznetsov ret_success:
1484214ff83dSVitaly Kuznetsov 	return HV_STATUS_SUCCESS;
1485214ff83dSVitaly Kuznetsov }
1486214ff83dSVitaly Kuznetsov 
1487e83d5887SAndrey Smetanin bool kvm_hv_hypercall_enabled(struct kvm *kvm)
1488e83d5887SAndrey Smetanin {
14893f5ad8beSPaolo Bonzini 	return READ_ONCE(kvm->arch.hyperv.hv_hypercall) & HV_X64_MSR_HYPERCALL_ENABLE;
1490e83d5887SAndrey Smetanin }
1491e83d5887SAndrey Smetanin 
149283326e43SAndrey Smetanin static void kvm_hv_hypercall_set_result(struct kvm_vcpu *vcpu, u64 result)
149383326e43SAndrey Smetanin {
149483326e43SAndrey Smetanin 	bool longmode;
149583326e43SAndrey Smetanin 
149683326e43SAndrey Smetanin 	longmode = is_64_bit_mode(vcpu);
149783326e43SAndrey Smetanin 	if (longmode)
149883326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RAX, result);
149983326e43SAndrey Smetanin 	else {
150083326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RDX, result >> 32);
150183326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RAX, result & 0xffffffff);
150283326e43SAndrey Smetanin 	}
150383326e43SAndrey Smetanin }
150483326e43SAndrey Smetanin 
1505696ca779SRadim Krčmář static int kvm_hv_hypercall_complete(struct kvm_vcpu *vcpu, u64 result)
1506696ca779SRadim Krčmář {
1507696ca779SRadim Krčmář 	kvm_hv_hypercall_set_result(vcpu, result);
1508696ca779SRadim Krčmář 	++vcpu->stat.hypercalls;
1509696ca779SRadim Krčmář 	return kvm_skip_emulated_instruction(vcpu);
1510696ca779SRadim Krčmář }
1511696ca779SRadim Krčmář 
151283326e43SAndrey Smetanin static int kvm_hv_hypercall_complete_userspace(struct kvm_vcpu *vcpu)
151383326e43SAndrey Smetanin {
1514696ca779SRadim Krčmář 	return kvm_hv_hypercall_complete(vcpu, vcpu->run->hyperv.u.hcall.result);
151583326e43SAndrey Smetanin }
151683326e43SAndrey Smetanin 
1517faeb7833SRoman Kagan static u16 kvm_hvcall_signal_event(struct kvm_vcpu *vcpu, bool fast, u64 param)
1518faeb7833SRoman Kagan {
1519faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1520faeb7833SRoman Kagan 
1521faeb7833SRoman Kagan 	if (unlikely(!fast)) {
1522faeb7833SRoman Kagan 		int ret;
1523faeb7833SRoman Kagan 		gpa_t gpa = param;
1524faeb7833SRoman Kagan 
1525faeb7833SRoman Kagan 		if ((gpa & (__alignof__(param) - 1)) ||
1526faeb7833SRoman Kagan 		    offset_in_page(gpa) + sizeof(param) > PAGE_SIZE)
1527faeb7833SRoman Kagan 			return HV_STATUS_INVALID_ALIGNMENT;
1528faeb7833SRoman Kagan 
1529faeb7833SRoman Kagan 		ret = kvm_vcpu_read_guest(vcpu, gpa, &param, sizeof(param));
1530faeb7833SRoman Kagan 		if (ret < 0)
1531faeb7833SRoman Kagan 			return HV_STATUS_INVALID_ALIGNMENT;
1532faeb7833SRoman Kagan 	}
1533faeb7833SRoman Kagan 
1534faeb7833SRoman Kagan 	/*
1535faeb7833SRoman Kagan 	 * Per spec, bits 32-47 contain the extra "flag number".  However, we
1536faeb7833SRoman Kagan 	 * have no use for it, and in all known usecases it is zero, so just
1537faeb7833SRoman Kagan 	 * report lookup failure if it isn't.
1538faeb7833SRoman Kagan 	 */
1539faeb7833SRoman Kagan 	if (param & 0xffff00000000ULL)
1540faeb7833SRoman Kagan 		return HV_STATUS_INVALID_PORT_ID;
1541faeb7833SRoman Kagan 	/* remaining bits are reserved-zero */
1542faeb7833SRoman Kagan 	if (param & ~KVM_HYPERV_CONN_ID_MASK)
1543faeb7833SRoman Kagan 		return HV_STATUS_INVALID_HYPERCALL_INPUT;
1544faeb7833SRoman Kagan 
1545452a68d0SPaolo Bonzini 	/* the eventfd is protected by vcpu->kvm->srcu, but conn_to_evt isn't */
1546452a68d0SPaolo Bonzini 	rcu_read_lock();
1547faeb7833SRoman Kagan 	eventfd = idr_find(&vcpu->kvm->arch.hyperv.conn_to_evt, param);
1548452a68d0SPaolo Bonzini 	rcu_read_unlock();
1549faeb7833SRoman Kagan 	if (!eventfd)
1550faeb7833SRoman Kagan 		return HV_STATUS_INVALID_PORT_ID;
1551faeb7833SRoman Kagan 
1552faeb7833SRoman Kagan 	eventfd_signal(eventfd, 1);
1553faeb7833SRoman Kagan 	return HV_STATUS_SUCCESS;
1554faeb7833SRoman Kagan }
1555faeb7833SRoman Kagan 
1556e83d5887SAndrey Smetanin int kvm_hv_hypercall(struct kvm_vcpu *vcpu)
1557e83d5887SAndrey Smetanin {
1558d32ef547SDan Carpenter 	u64 param, ingpa, outgpa, ret = HV_STATUS_SUCCESS;
1559d32ef547SDan Carpenter 	uint16_t code, rep_idx, rep_cnt;
156056b9ae78SVitaly Kuznetsov 	bool fast, longmode, rep;
1561e83d5887SAndrey Smetanin 
1562e83d5887SAndrey Smetanin 	/*
1563e83d5887SAndrey Smetanin 	 * hypercall generates UD from non zero cpl and real mode
1564e83d5887SAndrey Smetanin 	 * per HYPER-V spec
1565e83d5887SAndrey Smetanin 	 */
1566e83d5887SAndrey Smetanin 	if (kvm_x86_ops->get_cpl(vcpu) != 0 || !is_protmode(vcpu)) {
1567e83d5887SAndrey Smetanin 		kvm_queue_exception(vcpu, UD_VECTOR);
15680d9c055eSAndrey Smetanin 		return 1;
1569e83d5887SAndrey Smetanin 	}
1570e83d5887SAndrey Smetanin 
1571e83d5887SAndrey Smetanin 	longmode = is_64_bit_mode(vcpu);
1572e83d5887SAndrey Smetanin 
1573e83d5887SAndrey Smetanin 	if (!longmode) {
1574e83d5887SAndrey Smetanin 		param = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDX) << 32) |
1575e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RAX) & 0xffffffff);
1576e83d5887SAndrey Smetanin 		ingpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RBX) << 32) |
1577e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RCX) & 0xffffffff);
1578e83d5887SAndrey Smetanin 		outgpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDI) << 32) |
1579e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RSI) & 0xffffffff);
1580e83d5887SAndrey Smetanin 	}
1581e83d5887SAndrey Smetanin #ifdef CONFIG_X86_64
1582e83d5887SAndrey Smetanin 	else {
1583e83d5887SAndrey Smetanin 		param = kvm_register_read(vcpu, VCPU_REGS_RCX);
1584e83d5887SAndrey Smetanin 		ingpa = kvm_register_read(vcpu, VCPU_REGS_RDX);
1585e83d5887SAndrey Smetanin 		outgpa = kvm_register_read(vcpu, VCPU_REGS_R8);
1586e83d5887SAndrey Smetanin 	}
1587e83d5887SAndrey Smetanin #endif
1588e83d5887SAndrey Smetanin 
1589e83d5887SAndrey Smetanin 	code = param & 0xffff;
1590142c95daSVitaly Kuznetsov 	fast = !!(param & HV_HYPERCALL_FAST_BIT);
1591142c95daSVitaly Kuznetsov 	rep_cnt = (param >> HV_HYPERCALL_REP_COMP_OFFSET) & 0xfff;
1592142c95daSVitaly Kuznetsov 	rep_idx = (param >> HV_HYPERCALL_REP_START_OFFSET) & 0xfff;
159356b9ae78SVitaly Kuznetsov 	rep = !!(rep_cnt || rep_idx);
1594e83d5887SAndrey Smetanin 
1595e83d5887SAndrey Smetanin 	trace_kvm_hv_hypercall(code, fast, rep_cnt, rep_idx, ingpa, outgpa);
1596e83d5887SAndrey Smetanin 
1597e83d5887SAndrey Smetanin 	switch (code) {
15988ed6d767SAndrey Smetanin 	case HVCALL_NOTIFY_LONG_SPIN_WAIT:
159956b9ae78SVitaly Kuznetsov 		if (unlikely(rep)) {
160056b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
160156b9ae78SVitaly Kuznetsov 			break;
160256b9ae78SVitaly Kuznetsov 		}
1603de63ad4cSLongpeng(Mike) 		kvm_vcpu_on_spin(vcpu, true);
1604e83d5887SAndrey Smetanin 		break;
160583326e43SAndrey Smetanin 	case HVCALL_SIGNAL_EVENT:
160656b9ae78SVitaly Kuznetsov 		if (unlikely(rep)) {
160756b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
160856b9ae78SVitaly Kuznetsov 			break;
160956b9ae78SVitaly Kuznetsov 		}
1610d32ef547SDan Carpenter 		ret = kvm_hvcall_signal_event(vcpu, fast, ingpa);
1611d32ef547SDan Carpenter 		if (ret != HV_STATUS_INVALID_PORT_ID)
1612faeb7833SRoman Kagan 			break;
1613faeb7833SRoman Kagan 		/* maybe userspace knows this conn_id: fall through */
1614faeb7833SRoman Kagan 	case HVCALL_POST_MESSAGE:
1615a2b5c3c0SPaolo Bonzini 		/* don't bother userspace if it has no way to handle it */
161656b9ae78SVitaly Kuznetsov 		if (unlikely(rep || !vcpu_to_synic(vcpu)->active)) {
161756b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1618a2b5c3c0SPaolo Bonzini 			break;
1619a2b5c3c0SPaolo Bonzini 		}
162083326e43SAndrey Smetanin 		vcpu->run->exit_reason = KVM_EXIT_HYPERV;
162183326e43SAndrey Smetanin 		vcpu->run->hyperv.type = KVM_EXIT_HYPERV_HCALL;
162283326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.input = param;
162383326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.params[0] = ingpa;
162483326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.params[1] = outgpa;
162583326e43SAndrey Smetanin 		vcpu->arch.complete_userspace_io =
162683326e43SAndrey Smetanin 				kvm_hv_hypercall_complete_userspace;
162783326e43SAndrey Smetanin 		return 0;
1628e2f11f42SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST:
1629e2f11f42SVitaly Kuznetsov 		if (unlikely(fast || !rep_cnt || rep_idx)) {
1630e2f11f42SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1631e2f11f42SVitaly Kuznetsov 			break;
1632e2f11f42SVitaly Kuznetsov 		}
1633c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, false);
1634e2f11f42SVitaly Kuznetsov 		break;
1635e2f11f42SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE:
1636e2f11f42SVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1637e2f11f42SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1638e2f11f42SVitaly Kuznetsov 			break;
1639e2f11f42SVitaly Kuznetsov 		}
1640c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, false);
1641c7012676SVitaly Kuznetsov 		break;
1642c7012676SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST_EX:
1643c7012676SVitaly Kuznetsov 		if (unlikely(fast || !rep_cnt || rep_idx)) {
1644c7012676SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1645c7012676SVitaly Kuznetsov 			break;
1646c7012676SVitaly Kuznetsov 		}
1647c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, true);
1648c7012676SVitaly Kuznetsov 		break;
1649c7012676SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE_EX:
1650c7012676SVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1651c7012676SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1652c7012676SVitaly Kuznetsov 			break;
1653c7012676SVitaly Kuznetsov 		}
1654c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, true);
1655e2f11f42SVitaly Kuznetsov 		break;
1656214ff83dSVitaly Kuznetsov 	case HVCALL_SEND_IPI:
1657214ff83dSVitaly Kuznetsov 		if (unlikely(rep)) {
1658214ff83dSVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1659214ff83dSVitaly Kuznetsov 			break;
1660214ff83dSVitaly Kuznetsov 		}
1661214ff83dSVitaly Kuznetsov 		ret = kvm_hv_send_ipi(vcpu, ingpa, outgpa, false, fast);
1662214ff83dSVitaly Kuznetsov 		break;
1663214ff83dSVitaly Kuznetsov 	case HVCALL_SEND_IPI_EX:
1664214ff83dSVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1665214ff83dSVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1666214ff83dSVitaly Kuznetsov 			break;
1667214ff83dSVitaly Kuznetsov 		}
1668214ff83dSVitaly Kuznetsov 		ret = kvm_hv_send_ipi(vcpu, ingpa, outgpa, true, false);
1669214ff83dSVitaly Kuznetsov 		break;
1670e83d5887SAndrey Smetanin 	default:
1671d32ef547SDan Carpenter 		ret = HV_STATUS_INVALID_HYPERCALL_CODE;
1672e83d5887SAndrey Smetanin 		break;
1673e83d5887SAndrey Smetanin 	}
1674e83d5887SAndrey Smetanin 
1675696ca779SRadim Krčmář 	return kvm_hv_hypercall_complete(vcpu, ret);
1676e83d5887SAndrey Smetanin }
1677cbc0236aSRoman Kagan 
1678cbc0236aSRoman Kagan void kvm_hv_init_vm(struct kvm *kvm)
1679cbc0236aSRoman Kagan {
1680cbc0236aSRoman Kagan 	mutex_init(&kvm->arch.hyperv.hv_lock);
1681faeb7833SRoman Kagan 	idr_init(&kvm->arch.hyperv.conn_to_evt);
1682cbc0236aSRoman Kagan }
1683cbc0236aSRoman Kagan 
1684cbc0236aSRoman Kagan void kvm_hv_destroy_vm(struct kvm *kvm)
1685cbc0236aSRoman Kagan {
1686faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1687faeb7833SRoman Kagan 	int i;
1688faeb7833SRoman Kagan 
1689faeb7833SRoman Kagan 	idr_for_each_entry(&kvm->arch.hyperv.conn_to_evt, eventfd, i)
1690faeb7833SRoman Kagan 		eventfd_ctx_put(eventfd);
1691faeb7833SRoman Kagan 	idr_destroy(&kvm->arch.hyperv.conn_to_evt);
1692faeb7833SRoman Kagan }
1693faeb7833SRoman Kagan 
1694faeb7833SRoman Kagan static int kvm_hv_eventfd_assign(struct kvm *kvm, u32 conn_id, int fd)
1695faeb7833SRoman Kagan {
1696faeb7833SRoman Kagan 	struct kvm_hv *hv = &kvm->arch.hyperv;
1697faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1698faeb7833SRoman Kagan 	int ret;
1699faeb7833SRoman Kagan 
1700faeb7833SRoman Kagan 	eventfd = eventfd_ctx_fdget(fd);
1701faeb7833SRoman Kagan 	if (IS_ERR(eventfd))
1702faeb7833SRoman Kagan 		return PTR_ERR(eventfd);
1703faeb7833SRoman Kagan 
1704faeb7833SRoman Kagan 	mutex_lock(&hv->hv_lock);
1705faeb7833SRoman Kagan 	ret = idr_alloc(&hv->conn_to_evt, eventfd, conn_id, conn_id + 1,
1706faeb7833SRoman Kagan 			GFP_KERNEL);
1707faeb7833SRoman Kagan 	mutex_unlock(&hv->hv_lock);
1708faeb7833SRoman Kagan 
1709faeb7833SRoman Kagan 	if (ret >= 0)
1710faeb7833SRoman Kagan 		return 0;
1711faeb7833SRoman Kagan 
1712faeb7833SRoman Kagan 	if (ret == -ENOSPC)
1713faeb7833SRoman Kagan 		ret = -EEXIST;
1714faeb7833SRoman Kagan 	eventfd_ctx_put(eventfd);
1715faeb7833SRoman Kagan 	return ret;
1716faeb7833SRoman Kagan }
1717faeb7833SRoman Kagan 
1718faeb7833SRoman Kagan static int kvm_hv_eventfd_deassign(struct kvm *kvm, u32 conn_id)
1719faeb7833SRoman Kagan {
1720faeb7833SRoman Kagan 	struct kvm_hv *hv = &kvm->arch.hyperv;
1721faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1722faeb7833SRoman Kagan 
1723faeb7833SRoman Kagan 	mutex_lock(&hv->hv_lock);
1724faeb7833SRoman Kagan 	eventfd = idr_remove(&hv->conn_to_evt, conn_id);
1725faeb7833SRoman Kagan 	mutex_unlock(&hv->hv_lock);
1726faeb7833SRoman Kagan 
1727faeb7833SRoman Kagan 	if (!eventfd)
1728faeb7833SRoman Kagan 		return -ENOENT;
1729faeb7833SRoman Kagan 
1730faeb7833SRoman Kagan 	synchronize_srcu(&kvm->srcu);
1731faeb7833SRoman Kagan 	eventfd_ctx_put(eventfd);
1732faeb7833SRoman Kagan 	return 0;
1733faeb7833SRoman Kagan }
1734faeb7833SRoman Kagan 
1735faeb7833SRoman Kagan int kvm_vm_ioctl_hv_eventfd(struct kvm *kvm, struct kvm_hyperv_eventfd *args)
1736faeb7833SRoman Kagan {
1737faeb7833SRoman Kagan 	if ((args->flags & ~KVM_HYPERV_EVENTFD_DEASSIGN) ||
1738faeb7833SRoman Kagan 	    (args->conn_id & ~KVM_HYPERV_CONN_ID_MASK))
1739faeb7833SRoman Kagan 		return -EINVAL;
1740faeb7833SRoman Kagan 
1741faeb7833SRoman Kagan 	if (args->flags == KVM_HYPERV_EVENTFD_DEASSIGN)
1742faeb7833SRoman Kagan 		return kvm_hv_eventfd_deassign(kvm, args->conn_id);
1743faeb7833SRoman Kagan 	return kvm_hv_eventfd_assign(kvm, args->conn_id, args->fd);
1744cbc0236aSRoman Kagan }
1745