xref: /openbmc/linux/arch/x86/kvm/hyperv.c (revision a4987defc1e66c5b88c2a97e3a0ef386631587fa)
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,
5607deec5e0SRoman Kagan 			     struct hv_message *src_msg, bool no_retry)
5611f4b34f8SAndrey Smetanin {
5621f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = synic_to_vcpu(synic);
5633a0e7731SRoman Kagan 	int msg_off = offsetof(struct hv_message_page, sint_message[sint]);
5643a0e7731SRoman Kagan 	gfn_t msg_page_gfn;
5653a0e7731SRoman 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 
5713a0e7731SRoman Kagan 	msg_page_gfn = synic->msg_page >> PAGE_SHIFT;
5721f4b34f8SAndrey Smetanin 
5733a0e7731SRoman Kagan 	/*
5743a0e7731SRoman Kagan 	 * Strictly following the spec-mandated ordering would assume setting
5753a0e7731SRoman Kagan 	 * .msg_pending before checking .message_type.  However, this function
5763a0e7731SRoman Kagan 	 * is only called in vcpu context so the entire update is atomic from
5773a0e7731SRoman Kagan 	 * guest POV and thus the exact order here doesn't matter.
5783a0e7731SRoman Kagan 	 */
5793a0e7731SRoman Kagan 	r = kvm_vcpu_read_guest_page(vcpu, msg_page_gfn, &hv_hdr.message_type,
5803a0e7731SRoman Kagan 				     msg_off + offsetof(struct hv_message,
5813a0e7731SRoman Kagan 							header.message_type),
5823a0e7731SRoman Kagan 				     sizeof(hv_hdr.message_type));
5833a0e7731SRoman Kagan 	if (r < 0)
5841f4b34f8SAndrey Smetanin 		return r;
5853a0e7731SRoman Kagan 
5863a0e7731SRoman Kagan 	if (hv_hdr.message_type != HVMSG_NONE) {
5877deec5e0SRoman Kagan 		if (no_retry)
5887deec5e0SRoman Kagan 			return 0;
5897deec5e0SRoman Kagan 
5903a0e7731SRoman Kagan 		hv_hdr.message_flags.msg_pending = 1;
5913a0e7731SRoman Kagan 		r = kvm_vcpu_write_guest_page(vcpu, msg_page_gfn,
5923a0e7731SRoman Kagan 					      &hv_hdr.message_flags,
5933a0e7731SRoman Kagan 					      msg_off +
5943a0e7731SRoman Kagan 					      offsetof(struct hv_message,
5953a0e7731SRoman Kagan 						       header.message_flags),
5963a0e7731SRoman Kagan 					      sizeof(hv_hdr.message_flags));
5973a0e7731SRoman Kagan 		if (r < 0)
5983a0e7731SRoman Kagan 			return r;
5993a0e7731SRoman Kagan 		return -EAGAIN;
6003a0e7731SRoman Kagan 	}
6013a0e7731SRoman Kagan 
6023a0e7731SRoman Kagan 	r = kvm_vcpu_write_guest_page(vcpu, msg_page_gfn, src_msg, msg_off,
6033a0e7731SRoman Kagan 				      sizeof(src_msg->header) +
6043a0e7731SRoman Kagan 				      src_msg->header.payload_size);
6053a0e7731SRoman Kagan 	if (r < 0)
6063a0e7731SRoman Kagan 		return r;
6073a0e7731SRoman Kagan 
6083a0e7731SRoman Kagan 	r = synic_set_irq(synic, sint);
6093a0e7731SRoman Kagan 	if (r < 0)
6103a0e7731SRoman Kagan 		return r;
6113a0e7731SRoman Kagan 	if (r == 0)
6123a0e7731SRoman Kagan 		return -EFAULT;
6133a0e7731SRoman Kagan 	return 0;
6141f4b34f8SAndrey Smetanin }
6151f4b34f8SAndrey Smetanin 
6160cdeabb1SAndrey Smetanin static int stimer_send_msg(struct kvm_vcpu_hv_stimer *stimer)
6171f4b34f8SAndrey Smetanin {
6181f4b34f8SAndrey Smetanin 	struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer);
6191f4b34f8SAndrey Smetanin 	struct hv_message *msg = &stimer->msg;
6201f4b34f8SAndrey Smetanin 	struct hv_timer_message_payload *payload =
6211f4b34f8SAndrey Smetanin 			(struct hv_timer_message_payload *)&msg->u.payload;
6221f4b34f8SAndrey Smetanin 
6237deec5e0SRoman Kagan 	/*
6247deec5e0SRoman Kagan 	 * To avoid piling up periodic ticks, don't retry message
6257deec5e0SRoman Kagan 	 * delivery for them (within "lazy" lost ticks policy).
6267deec5e0SRoman Kagan 	 */
6277deec5e0SRoman Kagan 	bool no_retry = stimer->config & HV_STIMER_PERIODIC;
6287deec5e0SRoman Kagan 
6291f4b34f8SAndrey Smetanin 	payload->expiration_time = stimer->exp_time;
6301f4b34f8SAndrey Smetanin 	payload->delivery_time = get_time_ref_counter(vcpu->kvm);
6310cdeabb1SAndrey Smetanin 	return synic_deliver_msg(vcpu_to_synic(vcpu),
6327deec5e0SRoman Kagan 				 HV_STIMER_SINT(stimer->config), msg,
6337deec5e0SRoman Kagan 				 no_retry);
6341f4b34f8SAndrey Smetanin }
6351f4b34f8SAndrey Smetanin 
6361f4b34f8SAndrey Smetanin static void stimer_expiration(struct kvm_vcpu_hv_stimer *stimer)
6371f4b34f8SAndrey Smetanin {
638ac3e5fcaSAndrey Smetanin 	int r;
639ac3e5fcaSAndrey Smetanin 
6400cdeabb1SAndrey Smetanin 	stimer->msg_pending = true;
641ac3e5fcaSAndrey Smetanin 	r = stimer_send_msg(stimer);
642ac3e5fcaSAndrey Smetanin 	trace_kvm_hv_stimer_expiration(stimer_to_vcpu(stimer)->vcpu_id,
643ac3e5fcaSAndrey Smetanin 				       stimer->index, r);
644ac3e5fcaSAndrey Smetanin 	if (!r) {
6450cdeabb1SAndrey Smetanin 		stimer->msg_pending = false;
6461f4b34f8SAndrey Smetanin 		if (!(stimer->config & HV_STIMER_PERIODIC))
6471ac1b65aSAndrey Smetanin 			stimer->config &= ~HV_STIMER_ENABLE;
6480cdeabb1SAndrey Smetanin 	}
6491f4b34f8SAndrey Smetanin }
6501f4b34f8SAndrey Smetanin 
6511f4b34f8SAndrey Smetanin void kvm_hv_process_stimers(struct kvm_vcpu *vcpu)
6521f4b34f8SAndrey Smetanin {
6531f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
6541f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv_stimer *stimer;
655f3b138c5SAndrey Smetanin 	u64 time_now, exp_time;
6561f4b34f8SAndrey Smetanin 	int i;
6571f4b34f8SAndrey Smetanin 
6581f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
6591f4b34f8SAndrey Smetanin 		if (test_and_clear_bit(i, hv_vcpu->stimer_pending_bitmap)) {
6601f4b34f8SAndrey Smetanin 			stimer = &hv_vcpu->stimer[i];
6611f4b34f8SAndrey Smetanin 			if (stimer->config & HV_STIMER_ENABLE) {
662f3b138c5SAndrey Smetanin 				exp_time = stimer->exp_time;
6630cdeabb1SAndrey Smetanin 
664f3b138c5SAndrey Smetanin 				if (exp_time) {
665f3b138c5SAndrey Smetanin 					time_now =
666f3b138c5SAndrey Smetanin 						get_time_ref_counter(vcpu->kvm);
667f3b138c5SAndrey Smetanin 					if (time_now >= exp_time)
668f3b138c5SAndrey Smetanin 						stimer_expiration(stimer);
669f3b138c5SAndrey Smetanin 				}
670f3b138c5SAndrey Smetanin 
671f3b138c5SAndrey Smetanin 				if ((stimer->config & HV_STIMER_ENABLE) &&
672f1ff89ecSRoman Kagan 				    stimer->count) {
673f1ff89ecSRoman Kagan 					if (!stimer->msg_pending)
6740cdeabb1SAndrey Smetanin 						stimer_start(stimer);
675f1ff89ecSRoman Kagan 				} else
6760cdeabb1SAndrey Smetanin 					stimer_cleanup(stimer);
6771f4b34f8SAndrey Smetanin 			}
6781f4b34f8SAndrey Smetanin 		}
6791f4b34f8SAndrey Smetanin }
6801f4b34f8SAndrey Smetanin 
6811f4b34f8SAndrey Smetanin void kvm_hv_vcpu_uninit(struct kvm_vcpu *vcpu)
6821f4b34f8SAndrey Smetanin {
6831f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
6841f4b34f8SAndrey Smetanin 	int i;
6851f4b34f8SAndrey Smetanin 
6861f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
6871f4b34f8SAndrey Smetanin 		stimer_cleanup(&hv_vcpu->stimer[i]);
6881f4b34f8SAndrey Smetanin }
6891f4b34f8SAndrey Smetanin 
69072bbf935SLadi Prosek bool kvm_hv_assist_page_enabled(struct kvm_vcpu *vcpu)
69172bbf935SLadi Prosek {
69272bbf935SLadi Prosek 	if (!(vcpu->arch.hyperv.hv_vapic & HV_X64_MSR_VP_ASSIST_PAGE_ENABLE))
69372bbf935SLadi Prosek 		return false;
69472bbf935SLadi Prosek 	return vcpu->arch.pv_eoi.msr_val & KVM_MSR_ENABLED;
69572bbf935SLadi Prosek }
69672bbf935SLadi Prosek EXPORT_SYMBOL_GPL(kvm_hv_assist_page_enabled);
69772bbf935SLadi Prosek 
69872bbf935SLadi Prosek bool kvm_hv_get_assist_page(struct kvm_vcpu *vcpu,
69972bbf935SLadi Prosek 			    struct hv_vp_assist_page *assist_page)
70072bbf935SLadi Prosek {
70172bbf935SLadi Prosek 	if (!kvm_hv_assist_page_enabled(vcpu))
70272bbf935SLadi Prosek 		return false;
70372bbf935SLadi Prosek 	return !kvm_read_guest_cached(vcpu->kvm, &vcpu->arch.pv_eoi.data,
70472bbf935SLadi Prosek 				      assist_page, sizeof(*assist_page));
70572bbf935SLadi Prosek }
70672bbf935SLadi Prosek EXPORT_SYMBOL_GPL(kvm_hv_get_assist_page);
70772bbf935SLadi Prosek 
7081f4b34f8SAndrey Smetanin static void stimer_prepare_msg(struct kvm_vcpu_hv_stimer *stimer)
7091f4b34f8SAndrey Smetanin {
7101f4b34f8SAndrey Smetanin 	struct hv_message *msg = &stimer->msg;
7111f4b34f8SAndrey Smetanin 	struct hv_timer_message_payload *payload =
7121f4b34f8SAndrey Smetanin 			(struct hv_timer_message_payload *)&msg->u.payload;
7131f4b34f8SAndrey Smetanin 
7141f4b34f8SAndrey Smetanin 	memset(&msg->header, 0, sizeof(msg->header));
7151f4b34f8SAndrey Smetanin 	msg->header.message_type = HVMSG_TIMER_EXPIRED;
7161f4b34f8SAndrey Smetanin 	msg->header.payload_size = sizeof(*payload);
7171f4b34f8SAndrey Smetanin 
7181f4b34f8SAndrey Smetanin 	payload->timer_index = stimer->index;
7191f4b34f8SAndrey Smetanin 	payload->expiration_time = 0;
7201f4b34f8SAndrey Smetanin 	payload->delivery_time = 0;
7211f4b34f8SAndrey Smetanin }
7221f4b34f8SAndrey Smetanin 
7231f4b34f8SAndrey Smetanin static void stimer_init(struct kvm_vcpu_hv_stimer *stimer, int timer_index)
7241f4b34f8SAndrey Smetanin {
7251f4b34f8SAndrey Smetanin 	memset(stimer, 0, sizeof(*stimer));
7261f4b34f8SAndrey Smetanin 	stimer->index = timer_index;
7271f4b34f8SAndrey Smetanin 	hrtimer_init(&stimer->timer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);
7281f4b34f8SAndrey Smetanin 	stimer->timer.function = stimer_timer_callback;
7291f4b34f8SAndrey Smetanin 	stimer_prepare_msg(stimer);
7301f4b34f8SAndrey Smetanin }
7311f4b34f8SAndrey Smetanin 
7325c919412SAndrey Smetanin void kvm_hv_vcpu_init(struct kvm_vcpu *vcpu)
7335c919412SAndrey Smetanin {
7341f4b34f8SAndrey Smetanin 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
7351f4b34f8SAndrey Smetanin 	int i;
7361f4b34f8SAndrey Smetanin 
7371f4b34f8SAndrey Smetanin 	synic_init(&hv_vcpu->synic);
7381f4b34f8SAndrey Smetanin 
7391f4b34f8SAndrey Smetanin 	bitmap_zero(hv_vcpu->stimer_pending_bitmap, HV_SYNIC_STIMER_COUNT);
7401f4b34f8SAndrey Smetanin 	for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++)
7411f4b34f8SAndrey Smetanin 		stimer_init(&hv_vcpu->stimer[i], i);
7425c919412SAndrey Smetanin }
7435c919412SAndrey Smetanin 
744d3457c87SRoman Kagan void kvm_hv_vcpu_postcreate(struct kvm_vcpu *vcpu)
745d3457c87SRoman Kagan {
746d3457c87SRoman Kagan 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
747d3457c87SRoman Kagan 
748d3457c87SRoman Kagan 	hv_vcpu->vp_index = kvm_vcpu_get_idx(vcpu);
749d3457c87SRoman Kagan }
750d3457c87SRoman Kagan 
751efc479e6SRoman Kagan int kvm_hv_activate_synic(struct kvm_vcpu *vcpu, bool dont_zero_synic_pages)
7525c919412SAndrey Smetanin {
753efc479e6SRoman Kagan 	struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu);
754efc479e6SRoman Kagan 
7555c919412SAndrey Smetanin 	/*
7565c919412SAndrey Smetanin 	 * Hyper-V SynIC auto EOI SINT's are
7575c919412SAndrey Smetanin 	 * not compatible with APICV, so deactivate APICV
7585c919412SAndrey Smetanin 	 */
7595c919412SAndrey Smetanin 	kvm_vcpu_deactivate_apicv(vcpu);
760efc479e6SRoman Kagan 	synic->active = true;
761efc479e6SRoman Kagan 	synic->dont_zero_synic_pages = dont_zero_synic_pages;
7625c919412SAndrey Smetanin 	return 0;
7635c919412SAndrey Smetanin }
7645c919412SAndrey Smetanin 
765e83d5887SAndrey Smetanin static bool kvm_hv_msr_partition_wide(u32 msr)
766e83d5887SAndrey Smetanin {
767e83d5887SAndrey Smetanin 	bool r = false;
768e83d5887SAndrey Smetanin 
769e83d5887SAndrey Smetanin 	switch (msr) {
770e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
771e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL:
772e83d5887SAndrey Smetanin 	case HV_X64_MSR_REFERENCE_TSC:
773e83d5887SAndrey Smetanin 	case HV_X64_MSR_TIME_REF_COUNT:
774e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
775e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
776e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
777a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
778a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
779a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
780e83d5887SAndrey Smetanin 		r = true;
781e83d5887SAndrey Smetanin 		break;
782e83d5887SAndrey Smetanin 	}
783e83d5887SAndrey Smetanin 
784e83d5887SAndrey Smetanin 	return r;
785e83d5887SAndrey Smetanin }
786e83d5887SAndrey Smetanin 
787e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_data(struct kvm_vcpu *vcpu,
788e7d9513bSAndrey Smetanin 				     u32 index, u64 *pdata)
789e7d9513bSAndrey Smetanin {
790e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
791e7d9513bSAndrey Smetanin 
792e7d9513bSAndrey Smetanin 	if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param)))
793e7d9513bSAndrey Smetanin 		return -EINVAL;
794e7d9513bSAndrey Smetanin 
795e7d9513bSAndrey Smetanin 	*pdata = hv->hv_crash_param[index];
796e7d9513bSAndrey Smetanin 	return 0;
797e7d9513bSAndrey Smetanin }
798e7d9513bSAndrey Smetanin 
799e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_ctl(struct kvm_vcpu *vcpu, u64 *pdata)
800e7d9513bSAndrey Smetanin {
801e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
802e7d9513bSAndrey Smetanin 
803e7d9513bSAndrey Smetanin 	*pdata = hv->hv_crash_ctl;
804e7d9513bSAndrey Smetanin 	return 0;
805e7d9513bSAndrey Smetanin }
806e7d9513bSAndrey Smetanin 
807e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_ctl(struct kvm_vcpu *vcpu, u64 data, bool host)
808e7d9513bSAndrey Smetanin {
809e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
810e7d9513bSAndrey Smetanin 
811e7d9513bSAndrey Smetanin 	if (host)
812*a4987defSVitaly Kuznetsov 		hv->hv_crash_ctl = data & HV_CRASH_CTL_CRASH_NOTIFY;
813e7d9513bSAndrey Smetanin 
814*a4987defSVitaly Kuznetsov 	if (!host && (data & HV_CRASH_CTL_CRASH_NOTIFY)) {
815e7d9513bSAndrey Smetanin 
816e7d9513bSAndrey Smetanin 		vcpu_debug(vcpu, "hv crash (0x%llx 0x%llx 0x%llx 0x%llx 0x%llx)\n",
817e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[0],
818e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[1],
819e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[2],
820e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[3],
821e7d9513bSAndrey Smetanin 			  hv->hv_crash_param[4]);
822e7d9513bSAndrey Smetanin 
823e7d9513bSAndrey Smetanin 		/* Send notification about crash to user space */
824e7d9513bSAndrey Smetanin 		kvm_make_request(KVM_REQ_HV_CRASH, vcpu);
825e7d9513bSAndrey Smetanin 	}
826e7d9513bSAndrey Smetanin 
827e7d9513bSAndrey Smetanin 	return 0;
828e7d9513bSAndrey Smetanin }
829e7d9513bSAndrey Smetanin 
830e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_data(struct kvm_vcpu *vcpu,
831e7d9513bSAndrey Smetanin 				     u32 index, u64 data)
832e7d9513bSAndrey Smetanin {
833e7d9513bSAndrey Smetanin 	struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
834e7d9513bSAndrey Smetanin 
835e7d9513bSAndrey Smetanin 	if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param)))
836e7d9513bSAndrey Smetanin 		return -EINVAL;
837e7d9513bSAndrey Smetanin 
838e7d9513bSAndrey Smetanin 	hv->hv_crash_param[index] = data;
839e7d9513bSAndrey Smetanin 	return 0;
840e7d9513bSAndrey Smetanin }
841e7d9513bSAndrey Smetanin 
842095cf55dSPaolo Bonzini /*
843095cf55dSPaolo Bonzini  * The kvmclock and Hyper-V TSC page use similar formulas, and converting
844095cf55dSPaolo Bonzini  * between them is possible:
845095cf55dSPaolo Bonzini  *
846095cf55dSPaolo Bonzini  * kvmclock formula:
847095cf55dSPaolo Bonzini  *    nsec = (ticks - tsc_timestamp) * tsc_to_system_mul * 2^(tsc_shift-32)
848095cf55dSPaolo Bonzini  *           + system_time
849095cf55dSPaolo Bonzini  *
850095cf55dSPaolo Bonzini  * Hyper-V formula:
851095cf55dSPaolo Bonzini  *    nsec/100 = ticks * scale / 2^64 + offset
852095cf55dSPaolo Bonzini  *
853095cf55dSPaolo Bonzini  * When tsc_timestamp = system_time = 0, offset is zero in the Hyper-V formula.
854095cf55dSPaolo Bonzini  * By dividing the kvmclock formula by 100 and equating what's left we get:
855095cf55dSPaolo Bonzini  *    ticks * scale / 2^64 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100
856095cf55dSPaolo Bonzini  *            scale / 2^64 =         tsc_to_system_mul * 2^(tsc_shift-32) / 100
857095cf55dSPaolo Bonzini  *            scale        =         tsc_to_system_mul * 2^(32+tsc_shift) / 100
858095cf55dSPaolo Bonzini  *
859095cf55dSPaolo Bonzini  * Now expand the kvmclock formula and divide by 100:
860095cf55dSPaolo Bonzini  *    nsec = ticks * tsc_to_system_mul * 2^(tsc_shift-32)
861095cf55dSPaolo Bonzini  *           - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32)
862095cf55dSPaolo Bonzini  *           + system_time
863095cf55dSPaolo Bonzini  *    nsec/100 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100
864095cf55dSPaolo Bonzini  *               - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32) / 100
865095cf55dSPaolo Bonzini  *               + system_time / 100
866095cf55dSPaolo Bonzini  *
867095cf55dSPaolo Bonzini  * Replace tsc_to_system_mul * 2^(tsc_shift-32) / 100 by scale / 2^64:
868095cf55dSPaolo Bonzini  *    nsec/100 = ticks * scale / 2^64
869095cf55dSPaolo Bonzini  *               - tsc_timestamp * scale / 2^64
870095cf55dSPaolo Bonzini  *               + system_time / 100
871095cf55dSPaolo Bonzini  *
872095cf55dSPaolo Bonzini  * Equate with the Hyper-V formula so that ticks * scale / 2^64 cancels out:
873095cf55dSPaolo Bonzini  *    offset = system_time / 100 - tsc_timestamp * scale / 2^64
874095cf55dSPaolo Bonzini  *
875095cf55dSPaolo Bonzini  * These two equivalencies are implemented in this function.
876095cf55dSPaolo Bonzini  */
877095cf55dSPaolo Bonzini static bool compute_tsc_page_parameters(struct pvclock_vcpu_time_info *hv_clock,
878095cf55dSPaolo Bonzini 					HV_REFERENCE_TSC_PAGE *tsc_ref)
879095cf55dSPaolo Bonzini {
880095cf55dSPaolo Bonzini 	u64 max_mul;
881095cf55dSPaolo Bonzini 
882095cf55dSPaolo Bonzini 	if (!(hv_clock->flags & PVCLOCK_TSC_STABLE_BIT))
883095cf55dSPaolo Bonzini 		return false;
884095cf55dSPaolo Bonzini 
885095cf55dSPaolo Bonzini 	/*
886095cf55dSPaolo Bonzini 	 * check if scale would overflow, if so we use the time ref counter
887095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul * 2^(tsc_shift+32) / 100 >= 2^64
888095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul / 100 >= 2^(32-tsc_shift)
889095cf55dSPaolo Bonzini 	 *    tsc_to_system_mul >= 100 * 2^(32-tsc_shift)
890095cf55dSPaolo Bonzini 	 */
891095cf55dSPaolo Bonzini 	max_mul = 100ull << (32 - hv_clock->tsc_shift);
892095cf55dSPaolo Bonzini 	if (hv_clock->tsc_to_system_mul >= max_mul)
893095cf55dSPaolo Bonzini 		return false;
894095cf55dSPaolo Bonzini 
895095cf55dSPaolo Bonzini 	/*
896095cf55dSPaolo Bonzini 	 * Otherwise compute the scale and offset according to the formulas
897095cf55dSPaolo Bonzini 	 * derived above.
898095cf55dSPaolo Bonzini 	 */
899095cf55dSPaolo Bonzini 	tsc_ref->tsc_scale =
900095cf55dSPaolo Bonzini 		mul_u64_u32_div(1ULL << (32 + hv_clock->tsc_shift),
901095cf55dSPaolo Bonzini 				hv_clock->tsc_to_system_mul,
902095cf55dSPaolo Bonzini 				100);
903095cf55dSPaolo Bonzini 
904095cf55dSPaolo Bonzini 	tsc_ref->tsc_offset = hv_clock->system_time;
905095cf55dSPaolo Bonzini 	do_div(tsc_ref->tsc_offset, 100);
906095cf55dSPaolo Bonzini 	tsc_ref->tsc_offset -=
907095cf55dSPaolo Bonzini 		mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64);
908095cf55dSPaolo Bonzini 	return true;
909095cf55dSPaolo Bonzini }
910095cf55dSPaolo Bonzini 
911095cf55dSPaolo Bonzini void kvm_hv_setup_tsc_page(struct kvm *kvm,
912095cf55dSPaolo Bonzini 			   struct pvclock_vcpu_time_info *hv_clock)
913095cf55dSPaolo Bonzini {
914095cf55dSPaolo Bonzini 	struct kvm_hv *hv = &kvm->arch.hyperv;
915095cf55dSPaolo Bonzini 	u32 tsc_seq;
916095cf55dSPaolo Bonzini 	u64 gfn;
917095cf55dSPaolo Bonzini 
918095cf55dSPaolo Bonzini 	BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence));
919095cf55dSPaolo Bonzini 	BUILD_BUG_ON(offsetof(HV_REFERENCE_TSC_PAGE, tsc_sequence) != 0);
920095cf55dSPaolo Bonzini 
921095cf55dSPaolo Bonzini 	if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE))
922095cf55dSPaolo Bonzini 		return;
923095cf55dSPaolo Bonzini 
9243f5ad8beSPaolo Bonzini 	mutex_lock(&kvm->arch.hyperv.hv_lock);
9253f5ad8beSPaolo Bonzini 	if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE))
9263f5ad8beSPaolo Bonzini 		goto out_unlock;
9273f5ad8beSPaolo Bonzini 
928095cf55dSPaolo Bonzini 	gfn = hv->hv_tsc_page >> HV_X64_MSR_TSC_REFERENCE_ADDRESS_SHIFT;
929095cf55dSPaolo Bonzini 	/*
930095cf55dSPaolo Bonzini 	 * Because the TSC parameters only vary when there is a
931095cf55dSPaolo Bonzini 	 * change in the master clock, do not bother with caching.
932095cf55dSPaolo Bonzini 	 */
933095cf55dSPaolo Bonzini 	if (unlikely(kvm_read_guest(kvm, gfn_to_gpa(gfn),
934095cf55dSPaolo Bonzini 				    &tsc_seq, sizeof(tsc_seq))))
9353f5ad8beSPaolo Bonzini 		goto out_unlock;
936095cf55dSPaolo Bonzini 
937095cf55dSPaolo Bonzini 	/*
938095cf55dSPaolo Bonzini 	 * While we're computing and writing the parameters, force the
939095cf55dSPaolo Bonzini 	 * guest to use the time reference count MSR.
940095cf55dSPaolo Bonzini 	 */
941095cf55dSPaolo Bonzini 	hv->tsc_ref.tsc_sequence = 0;
942095cf55dSPaolo Bonzini 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn),
943095cf55dSPaolo Bonzini 			    &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)))
9443f5ad8beSPaolo Bonzini 		goto out_unlock;
945095cf55dSPaolo Bonzini 
946095cf55dSPaolo Bonzini 	if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref))
9473f5ad8beSPaolo Bonzini 		goto out_unlock;
948095cf55dSPaolo Bonzini 
949095cf55dSPaolo Bonzini 	/* Ensure sequence is zero before writing the rest of the struct.  */
950095cf55dSPaolo Bonzini 	smp_wmb();
951095cf55dSPaolo Bonzini 	if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref)))
9523f5ad8beSPaolo Bonzini 		goto out_unlock;
953095cf55dSPaolo Bonzini 
954095cf55dSPaolo Bonzini 	/*
955095cf55dSPaolo Bonzini 	 * Now switch to the TSC page mechanism by writing the sequence.
956095cf55dSPaolo Bonzini 	 */
957095cf55dSPaolo Bonzini 	tsc_seq++;
958095cf55dSPaolo Bonzini 	if (tsc_seq == 0xFFFFFFFF || tsc_seq == 0)
959095cf55dSPaolo Bonzini 		tsc_seq = 1;
960095cf55dSPaolo Bonzini 
961095cf55dSPaolo Bonzini 	/* Write the struct entirely before the non-zero sequence.  */
962095cf55dSPaolo Bonzini 	smp_wmb();
963095cf55dSPaolo Bonzini 
964095cf55dSPaolo Bonzini 	hv->tsc_ref.tsc_sequence = tsc_seq;
965095cf55dSPaolo Bonzini 	kvm_write_guest(kvm, gfn_to_gpa(gfn),
966095cf55dSPaolo Bonzini 			&hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence));
9673f5ad8beSPaolo Bonzini out_unlock:
9683f5ad8beSPaolo Bonzini 	mutex_unlock(&kvm->arch.hyperv.hv_lock);
969095cf55dSPaolo Bonzini }
970095cf55dSPaolo Bonzini 
971e7d9513bSAndrey Smetanin static int kvm_hv_set_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 data,
972e7d9513bSAndrey Smetanin 			     bool host)
973e83d5887SAndrey Smetanin {
974e83d5887SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
975e83d5887SAndrey Smetanin 	struct kvm_hv *hv = &kvm->arch.hyperv;
976e83d5887SAndrey Smetanin 
977e83d5887SAndrey Smetanin 	switch (msr) {
978e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
979e83d5887SAndrey Smetanin 		hv->hv_guest_os_id = data;
980e83d5887SAndrey Smetanin 		/* setting guest os id to zero disables hypercall page */
981e83d5887SAndrey Smetanin 		if (!hv->hv_guest_os_id)
982e83d5887SAndrey Smetanin 			hv->hv_hypercall &= ~HV_X64_MSR_HYPERCALL_ENABLE;
983e83d5887SAndrey Smetanin 		break;
984e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL: {
985e83d5887SAndrey Smetanin 		u64 gfn;
986e83d5887SAndrey Smetanin 		unsigned long addr;
987e83d5887SAndrey Smetanin 		u8 instructions[4];
988e83d5887SAndrey Smetanin 
989e83d5887SAndrey Smetanin 		/* if guest os id is not set hypercall should remain disabled */
990e83d5887SAndrey Smetanin 		if (!hv->hv_guest_os_id)
991e83d5887SAndrey Smetanin 			break;
992e83d5887SAndrey Smetanin 		if (!(data & HV_X64_MSR_HYPERCALL_ENABLE)) {
993e83d5887SAndrey Smetanin 			hv->hv_hypercall = data;
994e83d5887SAndrey Smetanin 			break;
995e83d5887SAndrey Smetanin 		}
996e83d5887SAndrey Smetanin 		gfn = data >> HV_X64_MSR_HYPERCALL_PAGE_ADDRESS_SHIFT;
997e83d5887SAndrey Smetanin 		addr = gfn_to_hva(kvm, gfn);
998e83d5887SAndrey Smetanin 		if (kvm_is_error_hva(addr))
999e83d5887SAndrey Smetanin 			return 1;
1000e83d5887SAndrey Smetanin 		kvm_x86_ops->patch_hypercall(vcpu, instructions);
1001e83d5887SAndrey Smetanin 		((unsigned char *)instructions)[3] = 0xc3; /* ret */
1002e83d5887SAndrey Smetanin 		if (__copy_to_user((void __user *)addr, instructions, 4))
1003e83d5887SAndrey Smetanin 			return 1;
1004e83d5887SAndrey Smetanin 		hv->hv_hypercall = data;
1005e83d5887SAndrey Smetanin 		mark_page_dirty(kvm, gfn);
1006e83d5887SAndrey Smetanin 		break;
1007e83d5887SAndrey Smetanin 	}
1008095cf55dSPaolo Bonzini 	case HV_X64_MSR_REFERENCE_TSC:
1009e83d5887SAndrey Smetanin 		hv->hv_tsc_page = data;
1010095cf55dSPaolo Bonzini 		if (hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE)
1011095cf55dSPaolo Bonzini 			kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
1012e83d5887SAndrey Smetanin 		break;
1013e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
1014e7d9513bSAndrey Smetanin 		return kvm_hv_msr_set_crash_data(vcpu,
1015e7d9513bSAndrey Smetanin 						 msr - HV_X64_MSR_CRASH_P0,
1016e7d9513bSAndrey Smetanin 						 data);
1017e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
1018e7d9513bSAndrey Smetanin 		return kvm_hv_msr_set_crash_ctl(vcpu, data, host);
1019e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
1020e516cebbSAndrey Smetanin 		if (data == 1) {
1021e516cebbSAndrey Smetanin 			vcpu_debug(vcpu, "hyper-v reset requested\n");
1022e516cebbSAndrey Smetanin 			kvm_make_request(KVM_REQ_HV_RESET, vcpu);
1023e516cebbSAndrey Smetanin 		}
1024e516cebbSAndrey Smetanin 		break;
1025a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
1026a2e164e7SVitaly Kuznetsov 		hv->hv_reenlightenment_control = data;
1027a2e164e7SVitaly Kuznetsov 		break;
1028a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
1029a2e164e7SVitaly Kuznetsov 		hv->hv_tsc_emulation_control = data;
1030a2e164e7SVitaly Kuznetsov 		break;
1031a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
1032a2e164e7SVitaly Kuznetsov 		hv->hv_tsc_emulation_status = data;
1033a2e164e7SVitaly Kuznetsov 		break;
103444883f01SPaolo Bonzini 	case HV_X64_MSR_TIME_REF_COUNT:
103544883f01SPaolo Bonzini 		/* read-only, but still ignore it if host-initiated */
103644883f01SPaolo Bonzini 		if (!host)
103744883f01SPaolo Bonzini 			return 1;
103844883f01SPaolo Bonzini 		break;
1039e83d5887SAndrey Smetanin 	default:
1040e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n",
1041e83d5887SAndrey Smetanin 			    msr, data);
1042e83d5887SAndrey Smetanin 		return 1;
1043e83d5887SAndrey Smetanin 	}
1044e83d5887SAndrey Smetanin 	return 0;
1045e83d5887SAndrey Smetanin }
1046e83d5887SAndrey Smetanin 
10479eec50b8SAndrey Smetanin /* Calculate cpu time spent by current task in 100ns units */
10489eec50b8SAndrey Smetanin static u64 current_task_runtime_100ns(void)
10499eec50b8SAndrey Smetanin {
10505613fda9SFrederic Weisbecker 	u64 utime, stime;
10519eec50b8SAndrey Smetanin 
10529eec50b8SAndrey Smetanin 	task_cputime_adjusted(current, &utime, &stime);
10535613fda9SFrederic Weisbecker 
10545613fda9SFrederic Weisbecker 	return div_u64(utime + stime, 100);
10559eec50b8SAndrey Smetanin }
10569eec50b8SAndrey Smetanin 
10579eec50b8SAndrey Smetanin static int kvm_hv_set_msr(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host)
1058e83d5887SAndrey Smetanin {
10591779a39fSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
1060e83d5887SAndrey Smetanin 
1061e83d5887SAndrey Smetanin 	switch (msr) {
106287ee613dSVitaly Kuznetsov 	case HV_X64_MSR_VP_INDEX: {
106387ee613dSVitaly Kuznetsov 		struct kvm_hv *hv = &vcpu->kvm->arch.hyperv;
106487ee613dSVitaly Kuznetsov 		int vcpu_idx = kvm_vcpu_get_idx(vcpu);
106587ee613dSVitaly Kuznetsov 		u32 new_vp_index = (u32)data;
106687ee613dSVitaly Kuznetsov 
106787ee613dSVitaly Kuznetsov 		if (!host || new_vp_index >= KVM_MAX_VCPUS)
1068d3457c87SRoman Kagan 			return 1;
106987ee613dSVitaly Kuznetsov 
107087ee613dSVitaly Kuznetsov 		if (new_vp_index == hv_vcpu->vp_index)
107187ee613dSVitaly Kuznetsov 			return 0;
107287ee613dSVitaly Kuznetsov 
107387ee613dSVitaly Kuznetsov 		/*
107487ee613dSVitaly Kuznetsov 		 * The VP index is initialized to vcpu_index by
107587ee613dSVitaly Kuznetsov 		 * kvm_hv_vcpu_postcreate so they initially match.  Now the
107687ee613dSVitaly Kuznetsov 		 * VP index is changing, adjust num_mismatched_vp_indexes if
107787ee613dSVitaly Kuznetsov 		 * it now matches or no longer matches vcpu_idx.
107887ee613dSVitaly Kuznetsov 		 */
107987ee613dSVitaly Kuznetsov 		if (hv_vcpu->vp_index == vcpu_idx)
108087ee613dSVitaly Kuznetsov 			atomic_inc(&hv->num_mismatched_vp_indexes);
108187ee613dSVitaly Kuznetsov 		else if (new_vp_index == vcpu_idx)
108287ee613dSVitaly Kuznetsov 			atomic_dec(&hv->num_mismatched_vp_indexes);
108387ee613dSVitaly Kuznetsov 
108487ee613dSVitaly Kuznetsov 		hv_vcpu->vp_index = new_vp_index;
1085d3457c87SRoman Kagan 		break;
108687ee613dSVitaly Kuznetsov 	}
1087d4abc577SLadi Prosek 	case HV_X64_MSR_VP_ASSIST_PAGE: {
1088e83d5887SAndrey Smetanin 		u64 gfn;
1089e83d5887SAndrey Smetanin 		unsigned long addr;
1090e83d5887SAndrey Smetanin 
1091d4abc577SLadi Prosek 		if (!(data & HV_X64_MSR_VP_ASSIST_PAGE_ENABLE)) {
10921779a39fSVitaly Kuznetsov 			hv_vcpu->hv_vapic = data;
109372bbf935SLadi Prosek 			if (kvm_lapic_enable_pv_eoi(vcpu, 0, 0))
1094e83d5887SAndrey Smetanin 				return 1;
1095e83d5887SAndrey Smetanin 			break;
1096e83d5887SAndrey Smetanin 		}
1097d4abc577SLadi Prosek 		gfn = data >> HV_X64_MSR_VP_ASSIST_PAGE_ADDRESS_SHIFT;
1098e83d5887SAndrey Smetanin 		addr = kvm_vcpu_gfn_to_hva(vcpu, gfn);
1099e83d5887SAndrey Smetanin 		if (kvm_is_error_hva(addr))
1100e83d5887SAndrey Smetanin 			return 1;
110112e0c618SVitaly Kuznetsov 
110212e0c618SVitaly Kuznetsov 		/*
110312e0c618SVitaly Kuznetsov 		 * Clear apic_assist portion of f(struct hv_vp_assist_page
110412e0c618SVitaly Kuznetsov 		 * only, there can be valuable data in the rest which needs
110512e0c618SVitaly Kuznetsov 		 * to be preserved e.g. on migration.
110612e0c618SVitaly Kuznetsov 		 */
110712e0c618SVitaly Kuznetsov 		if (__clear_user((void __user *)addr, sizeof(u32)))
1108e83d5887SAndrey Smetanin 			return 1;
11091779a39fSVitaly Kuznetsov 		hv_vcpu->hv_vapic = data;
1110e83d5887SAndrey Smetanin 		kvm_vcpu_mark_page_dirty(vcpu, gfn);
1111e83d5887SAndrey Smetanin 		if (kvm_lapic_enable_pv_eoi(vcpu,
111272bbf935SLadi Prosek 					    gfn_to_gpa(gfn) | KVM_MSR_ENABLED,
111372bbf935SLadi Prosek 					    sizeof(struct hv_vp_assist_page)))
1114e83d5887SAndrey Smetanin 			return 1;
1115e83d5887SAndrey Smetanin 		break;
1116e83d5887SAndrey Smetanin 	}
1117e83d5887SAndrey Smetanin 	case HV_X64_MSR_EOI:
1118e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_EOI, data);
1119e83d5887SAndrey Smetanin 	case HV_X64_MSR_ICR:
1120e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_ICR, data);
1121e83d5887SAndrey Smetanin 	case HV_X64_MSR_TPR:
1122e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_write(vcpu, APIC_TASKPRI, data);
11239eec50b8SAndrey Smetanin 	case HV_X64_MSR_VP_RUNTIME:
11249eec50b8SAndrey Smetanin 		if (!host)
11259eec50b8SAndrey Smetanin 			return 1;
11261779a39fSVitaly Kuznetsov 		hv_vcpu->runtime_offset = data - current_task_runtime_100ns();
11279eec50b8SAndrey Smetanin 		break;
11285c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
11295c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
11305c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
11315c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
11325c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
11335c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
11345c919412SAndrey Smetanin 		return synic_set_msr(vcpu_to_synic(vcpu), msr, data, host);
11351f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_CONFIG:
11361f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_CONFIG:
11371f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_CONFIG:
11381f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_CONFIG: {
11391f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
11401f4b34f8SAndrey Smetanin 
11411f4b34f8SAndrey Smetanin 		return stimer_set_config(vcpu_to_stimer(vcpu, timer_index),
11421f4b34f8SAndrey Smetanin 					 data, host);
11431f4b34f8SAndrey Smetanin 	}
11441f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_COUNT:
11451f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_COUNT:
11461f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_COUNT:
11471f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_COUNT: {
11481f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
11491f4b34f8SAndrey Smetanin 
11501f4b34f8SAndrey Smetanin 		return stimer_set_count(vcpu_to_stimer(vcpu, timer_index),
11511f4b34f8SAndrey Smetanin 					data, host);
11521f4b34f8SAndrey Smetanin 	}
115344883f01SPaolo Bonzini 	case HV_X64_MSR_TSC_FREQUENCY:
115444883f01SPaolo Bonzini 	case HV_X64_MSR_APIC_FREQUENCY:
115544883f01SPaolo Bonzini 		/* read-only, but still ignore it if host-initiated */
115644883f01SPaolo Bonzini 		if (!host)
115744883f01SPaolo Bonzini 			return 1;
115844883f01SPaolo Bonzini 		break;
1159e83d5887SAndrey Smetanin 	default:
1160e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n",
1161e83d5887SAndrey Smetanin 			    msr, data);
1162e83d5887SAndrey Smetanin 		return 1;
1163e83d5887SAndrey Smetanin 	}
1164e83d5887SAndrey Smetanin 
1165e83d5887SAndrey Smetanin 	return 0;
1166e83d5887SAndrey Smetanin }
1167e83d5887SAndrey Smetanin 
1168e83d5887SAndrey Smetanin static int kvm_hv_get_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata)
1169e83d5887SAndrey Smetanin {
1170e83d5887SAndrey Smetanin 	u64 data = 0;
1171e83d5887SAndrey Smetanin 	struct kvm *kvm = vcpu->kvm;
1172e83d5887SAndrey Smetanin 	struct kvm_hv *hv = &kvm->arch.hyperv;
1173e83d5887SAndrey Smetanin 
1174e83d5887SAndrey Smetanin 	switch (msr) {
1175e83d5887SAndrey Smetanin 	case HV_X64_MSR_GUEST_OS_ID:
1176e83d5887SAndrey Smetanin 		data = hv->hv_guest_os_id;
1177e83d5887SAndrey Smetanin 		break;
1178e83d5887SAndrey Smetanin 	case HV_X64_MSR_HYPERCALL:
1179e83d5887SAndrey Smetanin 		data = hv->hv_hypercall;
1180e83d5887SAndrey Smetanin 		break;
118193bf4172SAndrey Smetanin 	case HV_X64_MSR_TIME_REF_COUNT:
118293bf4172SAndrey Smetanin 		data = get_time_ref_counter(kvm);
1183e83d5887SAndrey Smetanin 		break;
1184e83d5887SAndrey Smetanin 	case HV_X64_MSR_REFERENCE_TSC:
1185e83d5887SAndrey Smetanin 		data = hv->hv_tsc_page;
1186e83d5887SAndrey Smetanin 		break;
1187e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
1188e7d9513bSAndrey Smetanin 		return kvm_hv_msr_get_crash_data(vcpu,
1189e7d9513bSAndrey Smetanin 						 msr - HV_X64_MSR_CRASH_P0,
1190e7d9513bSAndrey Smetanin 						 pdata);
1191e7d9513bSAndrey Smetanin 	case HV_X64_MSR_CRASH_CTL:
1192e7d9513bSAndrey Smetanin 		return kvm_hv_msr_get_crash_ctl(vcpu, pdata);
1193e516cebbSAndrey Smetanin 	case HV_X64_MSR_RESET:
1194e516cebbSAndrey Smetanin 		data = 0;
1195e516cebbSAndrey Smetanin 		break;
1196a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
1197a2e164e7SVitaly Kuznetsov 		data = hv->hv_reenlightenment_control;
1198a2e164e7SVitaly Kuznetsov 		break;
1199a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_CONTROL:
1200a2e164e7SVitaly Kuznetsov 		data = hv->hv_tsc_emulation_control;
1201a2e164e7SVitaly Kuznetsov 		break;
1202a2e164e7SVitaly Kuznetsov 	case HV_X64_MSR_TSC_EMULATION_STATUS:
1203a2e164e7SVitaly Kuznetsov 		data = hv->hv_tsc_emulation_status;
1204a2e164e7SVitaly Kuznetsov 		break;
1205e83d5887SAndrey Smetanin 	default:
1206e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr);
1207e83d5887SAndrey Smetanin 		return 1;
1208e83d5887SAndrey Smetanin 	}
1209e83d5887SAndrey Smetanin 
1210e83d5887SAndrey Smetanin 	*pdata = data;
1211e83d5887SAndrey Smetanin 	return 0;
1212e83d5887SAndrey Smetanin }
1213e83d5887SAndrey Smetanin 
121444883f01SPaolo Bonzini static int kvm_hv_get_msr(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata,
121544883f01SPaolo Bonzini 			  bool host)
1216e83d5887SAndrey Smetanin {
1217e83d5887SAndrey Smetanin 	u64 data = 0;
12181779a39fSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv;
1219e83d5887SAndrey Smetanin 
1220e83d5887SAndrey Smetanin 	switch (msr) {
1221d3457c87SRoman Kagan 	case HV_X64_MSR_VP_INDEX:
12221779a39fSVitaly Kuznetsov 		data = hv_vcpu->vp_index;
1223e83d5887SAndrey Smetanin 		break;
1224e83d5887SAndrey Smetanin 	case HV_X64_MSR_EOI:
1225e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_EOI, pdata);
1226e83d5887SAndrey Smetanin 	case HV_X64_MSR_ICR:
1227e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_ICR, pdata);
1228e83d5887SAndrey Smetanin 	case HV_X64_MSR_TPR:
1229e83d5887SAndrey Smetanin 		return kvm_hv_vapic_msr_read(vcpu, APIC_TASKPRI, pdata);
1230d4abc577SLadi Prosek 	case HV_X64_MSR_VP_ASSIST_PAGE:
12311779a39fSVitaly Kuznetsov 		data = hv_vcpu->hv_vapic;
1232e83d5887SAndrey Smetanin 		break;
12339eec50b8SAndrey Smetanin 	case HV_X64_MSR_VP_RUNTIME:
12341779a39fSVitaly Kuznetsov 		data = current_task_runtime_100ns() + hv_vcpu->runtime_offset;
12359eec50b8SAndrey Smetanin 		break;
12365c919412SAndrey Smetanin 	case HV_X64_MSR_SCONTROL:
12375c919412SAndrey Smetanin 	case HV_X64_MSR_SVERSION:
12385c919412SAndrey Smetanin 	case HV_X64_MSR_SIEFP:
12395c919412SAndrey Smetanin 	case HV_X64_MSR_SIMP:
12405c919412SAndrey Smetanin 	case HV_X64_MSR_EOM:
12415c919412SAndrey Smetanin 	case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
124244883f01SPaolo Bonzini 		return synic_get_msr(vcpu_to_synic(vcpu), msr, pdata, host);
12431f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_CONFIG:
12441f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_CONFIG:
12451f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_CONFIG:
12461f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_CONFIG: {
12471f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
12481f4b34f8SAndrey Smetanin 
12491f4b34f8SAndrey Smetanin 		return stimer_get_config(vcpu_to_stimer(vcpu, timer_index),
12501f4b34f8SAndrey Smetanin 					 pdata);
12511f4b34f8SAndrey Smetanin 	}
12521f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER0_COUNT:
12531f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER1_COUNT:
12541f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER2_COUNT:
12551f4b34f8SAndrey Smetanin 	case HV_X64_MSR_STIMER3_COUNT: {
12561f4b34f8SAndrey Smetanin 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
12571f4b34f8SAndrey Smetanin 
12581f4b34f8SAndrey Smetanin 		return stimer_get_count(vcpu_to_stimer(vcpu, timer_index),
12591f4b34f8SAndrey Smetanin 					pdata);
12601f4b34f8SAndrey Smetanin 	}
126172c139baSLadi Prosek 	case HV_X64_MSR_TSC_FREQUENCY:
126272c139baSLadi Prosek 		data = (u64)vcpu->arch.virtual_tsc_khz * 1000;
126372c139baSLadi Prosek 		break;
126472c139baSLadi Prosek 	case HV_X64_MSR_APIC_FREQUENCY:
126572c139baSLadi Prosek 		data = APIC_BUS_FREQUENCY;
126672c139baSLadi Prosek 		break;
1267e83d5887SAndrey Smetanin 	default:
1268e83d5887SAndrey Smetanin 		vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr);
1269e83d5887SAndrey Smetanin 		return 1;
1270e83d5887SAndrey Smetanin 	}
1271e83d5887SAndrey Smetanin 	*pdata = data;
1272e83d5887SAndrey Smetanin 	return 0;
1273e83d5887SAndrey Smetanin }
1274e83d5887SAndrey Smetanin 
1275e7d9513bSAndrey Smetanin int kvm_hv_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host)
1276e83d5887SAndrey Smetanin {
1277e83d5887SAndrey Smetanin 	if (kvm_hv_msr_partition_wide(msr)) {
1278e83d5887SAndrey Smetanin 		int r;
1279e83d5887SAndrey Smetanin 
12803f5ad8beSPaolo Bonzini 		mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock);
1281e7d9513bSAndrey Smetanin 		r = kvm_hv_set_msr_pw(vcpu, msr, data, host);
12823f5ad8beSPaolo Bonzini 		mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock);
1283e83d5887SAndrey Smetanin 		return r;
1284e83d5887SAndrey Smetanin 	} else
12859eec50b8SAndrey Smetanin 		return kvm_hv_set_msr(vcpu, msr, data, host);
1286e83d5887SAndrey Smetanin }
1287e83d5887SAndrey Smetanin 
128844883f01SPaolo Bonzini int kvm_hv_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata, bool host)
1289e83d5887SAndrey Smetanin {
1290e83d5887SAndrey Smetanin 	if (kvm_hv_msr_partition_wide(msr)) {
1291e83d5887SAndrey Smetanin 		int r;
1292e83d5887SAndrey Smetanin 
12933f5ad8beSPaolo Bonzini 		mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock);
1294e83d5887SAndrey Smetanin 		r = kvm_hv_get_msr_pw(vcpu, msr, pdata);
12953f5ad8beSPaolo Bonzini 		mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock);
1296e83d5887SAndrey Smetanin 		return r;
1297e83d5887SAndrey Smetanin 	} else
129844883f01SPaolo Bonzini 		return kvm_hv_get_msr(vcpu, msr, pdata, host);
1299e83d5887SAndrey Smetanin }
1300e83d5887SAndrey Smetanin 
1301f21dd494SVitaly Kuznetsov static __always_inline unsigned long *sparse_set_to_vcpu_mask(
1302f21dd494SVitaly Kuznetsov 	struct kvm *kvm, u64 *sparse_banks, u64 valid_bank_mask,
1303f21dd494SVitaly Kuznetsov 	u64 *vp_bitmap, unsigned long *vcpu_bitmap)
1304c7012676SVitaly Kuznetsov {
1305f21dd494SVitaly Kuznetsov 	struct kvm_hv *hv = &kvm->arch.hyperv;
1306f21dd494SVitaly Kuznetsov 	struct kvm_vcpu *vcpu;
1307f21dd494SVitaly Kuznetsov 	int i, bank, sbank = 0;
1308c7012676SVitaly Kuznetsov 
1309f21dd494SVitaly Kuznetsov 	memset(vp_bitmap, 0,
1310f21dd494SVitaly Kuznetsov 	       KVM_HV_MAX_SPARSE_VCPU_SET_BITS * sizeof(*vp_bitmap));
1311f21dd494SVitaly Kuznetsov 	for_each_set_bit(bank, (unsigned long *)&valid_bank_mask,
1312f21dd494SVitaly Kuznetsov 			 KVM_HV_MAX_SPARSE_VCPU_SET_BITS)
1313f21dd494SVitaly Kuznetsov 		vp_bitmap[bank] = sparse_banks[sbank++];
1314c7012676SVitaly Kuznetsov 
1315f21dd494SVitaly Kuznetsov 	if (likely(!atomic_read(&hv->num_mismatched_vp_indexes))) {
1316f21dd494SVitaly Kuznetsov 		/* for all vcpus vp_index == vcpu_idx */
1317f21dd494SVitaly Kuznetsov 		return (unsigned long *)vp_bitmap;
1318f21dd494SVitaly Kuznetsov 	}
1319c7012676SVitaly Kuznetsov 
1320f21dd494SVitaly Kuznetsov 	bitmap_zero(vcpu_bitmap, KVM_MAX_VCPUS);
1321f21dd494SVitaly Kuznetsov 	kvm_for_each_vcpu(i, vcpu, kvm) {
1322f21dd494SVitaly Kuznetsov 		if (test_bit(vcpu_to_hv_vcpu(vcpu)->vp_index,
1323f21dd494SVitaly Kuznetsov 			     (unsigned long *)vp_bitmap))
1324f21dd494SVitaly Kuznetsov 			__set_bit(i, vcpu_bitmap);
1325f21dd494SVitaly Kuznetsov 	}
1326f21dd494SVitaly Kuznetsov 	return vcpu_bitmap;
1327c7012676SVitaly Kuznetsov }
1328c7012676SVitaly Kuznetsov 
1329e2f11f42SVitaly Kuznetsov static u64 kvm_hv_flush_tlb(struct kvm_vcpu *current_vcpu, u64 ingpa,
1330c7012676SVitaly Kuznetsov 			    u16 rep_cnt, bool ex)
1331e2f11f42SVitaly Kuznetsov {
1332e2f11f42SVitaly Kuznetsov 	struct kvm *kvm = current_vcpu->kvm;
13332cefc5feSVitaly Kuznetsov 	struct kvm_vcpu_hv *hv_vcpu = &current_vcpu->arch.hyperv;
1334c7012676SVitaly Kuznetsov 	struct hv_tlb_flush_ex flush_ex;
1335e2f11f42SVitaly Kuznetsov 	struct hv_tlb_flush flush;
1336f21dd494SVitaly Kuznetsov 	u64 vp_bitmap[KVM_HV_MAX_SPARSE_VCPU_SET_BITS];
1337f21dd494SVitaly Kuznetsov 	DECLARE_BITMAP(vcpu_bitmap, KVM_MAX_VCPUS);
1338f21dd494SVitaly Kuznetsov 	unsigned long *vcpu_mask;
13392cefc5feSVitaly Kuznetsov 	u64 valid_bank_mask;
1340c7012676SVitaly Kuznetsov 	u64 sparse_banks[64];
1341f21dd494SVitaly Kuznetsov 	int sparse_banks_len;
1342c7012676SVitaly Kuznetsov 	bool all_cpus;
1343e2f11f42SVitaly Kuznetsov 
1344c7012676SVitaly Kuznetsov 	if (!ex) {
1345e2f11f42SVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &flush, sizeof(flush))))
1346e2f11f42SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1347e2f11f42SVitaly Kuznetsov 
1348c7012676SVitaly Kuznetsov 		trace_kvm_hv_flush_tlb(flush.processor_mask,
1349c7012676SVitaly Kuznetsov 				       flush.address_space, flush.flags);
1350c7012676SVitaly Kuznetsov 
13512cefc5feSVitaly Kuznetsov 		valid_bank_mask = BIT_ULL(0);
1352c7012676SVitaly Kuznetsov 		sparse_banks[0] = flush.processor_mask;
1353c7012676SVitaly Kuznetsov 		all_cpus = flush.flags & HV_FLUSH_ALL_PROCESSORS;
1354c7012676SVitaly Kuznetsov 	} else {
1355c7012676SVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &flush_ex,
1356c7012676SVitaly Kuznetsov 					    sizeof(flush_ex))))
1357c7012676SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1358c7012676SVitaly Kuznetsov 
1359c7012676SVitaly Kuznetsov 		trace_kvm_hv_flush_tlb_ex(flush_ex.hv_vp_set.valid_bank_mask,
1360c7012676SVitaly Kuznetsov 					  flush_ex.hv_vp_set.format,
1361c7012676SVitaly Kuznetsov 					  flush_ex.address_space,
1362c7012676SVitaly Kuznetsov 					  flush_ex.flags);
1363c7012676SVitaly Kuznetsov 
1364c7012676SVitaly Kuznetsov 		valid_bank_mask = flush_ex.hv_vp_set.valid_bank_mask;
1365c7012676SVitaly Kuznetsov 		all_cpus = flush_ex.hv_vp_set.format !=
1366c7012676SVitaly Kuznetsov 			HV_GENERIC_SET_SPARSE_4K;
1367c7012676SVitaly Kuznetsov 
13680b0a31baSVitaly Kuznetsov 		sparse_banks_len =
13690b0a31baSVitaly Kuznetsov 			bitmap_weight((unsigned long *)&valid_bank_mask, 64) *
1370c7012676SVitaly Kuznetsov 			sizeof(sparse_banks[0]);
1371c7012676SVitaly Kuznetsov 
1372c7012676SVitaly Kuznetsov 		if (!sparse_banks_len && !all_cpus)
1373c7012676SVitaly Kuznetsov 			goto ret_success;
1374c7012676SVitaly Kuznetsov 
1375c7012676SVitaly Kuznetsov 		if (!all_cpus &&
1376c7012676SVitaly Kuznetsov 		    kvm_read_guest(kvm,
1377c7012676SVitaly Kuznetsov 				   ingpa + offsetof(struct hv_tlb_flush_ex,
1378c7012676SVitaly Kuznetsov 						    hv_vp_set.bank_contents),
1379c7012676SVitaly Kuznetsov 				   sparse_banks,
1380c7012676SVitaly Kuznetsov 				   sparse_banks_len))
1381c7012676SVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1382c7012676SVitaly Kuznetsov 	}
1383e2f11f42SVitaly Kuznetsov 
1384f21dd494SVitaly Kuznetsov 	cpumask_clear(&hv_vcpu->tlb_flush);
1385f21dd494SVitaly Kuznetsov 
1386f21dd494SVitaly Kuznetsov 	vcpu_mask = all_cpus ? NULL :
1387f21dd494SVitaly Kuznetsov 		sparse_set_to_vcpu_mask(kvm, sparse_banks, valid_bank_mask,
1388f21dd494SVitaly Kuznetsov 					vp_bitmap, vcpu_bitmap);
1389f21dd494SVitaly Kuznetsov 
13902cefc5feSVitaly Kuznetsov 	/*
13912cefc5feSVitaly Kuznetsov 	 * vcpu->arch.cr3 may not be up-to-date for running vCPUs so we can't
13922cefc5feSVitaly Kuznetsov 	 * analyze it here, flush TLB regardless of the specified address space.
13932cefc5feSVitaly Kuznetsov 	 */
1394a812297cSVitaly Kuznetsov 	kvm_make_vcpus_request_mask(kvm,
1395a812297cSVitaly Kuznetsov 				    KVM_REQ_TLB_FLUSH | KVM_REQUEST_NO_WAKEUP,
1396f21dd494SVitaly Kuznetsov 				    vcpu_mask, &hv_vcpu->tlb_flush);
1397e2f11f42SVitaly Kuznetsov 
1398c7012676SVitaly Kuznetsov ret_success:
1399e2f11f42SVitaly Kuznetsov 	/* We always do full TLB flush, set rep_done = rep_cnt. */
1400e2f11f42SVitaly Kuznetsov 	return (u64)HV_STATUS_SUCCESS |
1401e2f11f42SVitaly Kuznetsov 		((u64)rep_cnt << HV_HYPERCALL_REP_COMP_OFFSET);
1402e2f11f42SVitaly Kuznetsov }
1403e2f11f42SVitaly Kuznetsov 
1404f21dd494SVitaly Kuznetsov static void kvm_send_ipi_to_many(struct kvm *kvm, u32 vector,
1405f21dd494SVitaly Kuznetsov 				 unsigned long *vcpu_bitmap)
1406f21dd494SVitaly Kuznetsov {
1407f21dd494SVitaly Kuznetsov 	struct kvm_lapic_irq irq = {
1408f21dd494SVitaly Kuznetsov 		.delivery_mode = APIC_DM_FIXED,
1409f21dd494SVitaly Kuznetsov 		.vector = vector
1410f21dd494SVitaly Kuznetsov 	};
1411f21dd494SVitaly Kuznetsov 	struct kvm_vcpu *vcpu;
1412f21dd494SVitaly Kuznetsov 	int i;
1413f21dd494SVitaly Kuznetsov 
1414f21dd494SVitaly Kuznetsov 	kvm_for_each_vcpu(i, vcpu, kvm) {
1415f21dd494SVitaly Kuznetsov 		if (vcpu_bitmap && !test_bit(i, vcpu_bitmap))
1416f21dd494SVitaly Kuznetsov 			continue;
1417f21dd494SVitaly Kuznetsov 
1418f21dd494SVitaly Kuznetsov 		/* We fail only when APIC is disabled */
1419f21dd494SVitaly Kuznetsov 		kvm_apic_set_irq(vcpu, &irq, NULL);
1420f21dd494SVitaly Kuznetsov 	}
1421f21dd494SVitaly Kuznetsov }
1422f21dd494SVitaly Kuznetsov 
1423214ff83dSVitaly Kuznetsov static u64 kvm_hv_send_ipi(struct kvm_vcpu *current_vcpu, u64 ingpa, u64 outgpa,
1424214ff83dSVitaly Kuznetsov 			   bool ex, bool fast)
1425214ff83dSVitaly Kuznetsov {
1426214ff83dSVitaly Kuznetsov 	struct kvm *kvm = current_vcpu->kvm;
1427214ff83dSVitaly Kuznetsov 	struct hv_send_ipi_ex send_ipi_ex;
1428214ff83dSVitaly Kuznetsov 	struct hv_send_ipi send_ipi;
1429f21dd494SVitaly Kuznetsov 	u64 vp_bitmap[KVM_HV_MAX_SPARSE_VCPU_SET_BITS];
1430f21dd494SVitaly Kuznetsov 	DECLARE_BITMAP(vcpu_bitmap, KVM_MAX_VCPUS);
1431f21dd494SVitaly Kuznetsov 	unsigned long *vcpu_mask;
1432214ff83dSVitaly Kuznetsov 	unsigned long valid_bank_mask;
1433214ff83dSVitaly Kuznetsov 	u64 sparse_banks[64];
1434f21dd494SVitaly Kuznetsov 	int sparse_banks_len;
1435f21dd494SVitaly Kuznetsov 	u32 vector;
1436214ff83dSVitaly Kuznetsov 	bool all_cpus;
1437214ff83dSVitaly Kuznetsov 
1438214ff83dSVitaly Kuznetsov 	if (!ex) {
1439214ff83dSVitaly Kuznetsov 		if (!fast) {
1440214ff83dSVitaly Kuznetsov 			if (unlikely(kvm_read_guest(kvm, ingpa, &send_ipi,
1441214ff83dSVitaly Kuznetsov 						    sizeof(send_ipi))))
1442214ff83dSVitaly Kuznetsov 				return HV_STATUS_INVALID_HYPERCALL_INPUT;
1443214ff83dSVitaly Kuznetsov 			sparse_banks[0] = send_ipi.cpu_mask;
1444f21dd494SVitaly Kuznetsov 			vector = send_ipi.vector;
1445214ff83dSVitaly Kuznetsov 		} else {
1446214ff83dSVitaly Kuznetsov 			/* 'reserved' part of hv_send_ipi should be 0 */
1447214ff83dSVitaly Kuznetsov 			if (unlikely(ingpa >> 32 != 0))
1448214ff83dSVitaly Kuznetsov 				return HV_STATUS_INVALID_HYPERCALL_INPUT;
1449214ff83dSVitaly Kuznetsov 			sparse_banks[0] = outgpa;
1450f21dd494SVitaly Kuznetsov 			vector = (u32)ingpa;
1451214ff83dSVitaly Kuznetsov 		}
1452214ff83dSVitaly Kuznetsov 		all_cpus = false;
1453214ff83dSVitaly Kuznetsov 		valid_bank_mask = BIT_ULL(0);
1454214ff83dSVitaly Kuznetsov 
1455f21dd494SVitaly Kuznetsov 		trace_kvm_hv_send_ipi(vector, sparse_banks[0]);
1456214ff83dSVitaly Kuznetsov 	} else {
1457214ff83dSVitaly Kuznetsov 		if (unlikely(kvm_read_guest(kvm, ingpa, &send_ipi_ex,
1458214ff83dSVitaly Kuznetsov 					    sizeof(send_ipi_ex))))
1459214ff83dSVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1460214ff83dSVitaly Kuznetsov 
1461214ff83dSVitaly Kuznetsov 		trace_kvm_hv_send_ipi_ex(send_ipi_ex.vector,
1462214ff83dSVitaly Kuznetsov 					 send_ipi_ex.vp_set.format,
1463214ff83dSVitaly Kuznetsov 					 send_ipi_ex.vp_set.valid_bank_mask);
1464214ff83dSVitaly Kuznetsov 
1465f21dd494SVitaly Kuznetsov 		vector = send_ipi_ex.vector;
1466214ff83dSVitaly Kuznetsov 		valid_bank_mask = send_ipi_ex.vp_set.valid_bank_mask;
1467214ff83dSVitaly Kuznetsov 		sparse_banks_len = bitmap_weight(&valid_bank_mask, 64) *
1468214ff83dSVitaly Kuznetsov 			sizeof(sparse_banks[0]);
1469214ff83dSVitaly Kuznetsov 
1470214ff83dSVitaly Kuznetsov 		all_cpus = send_ipi_ex.vp_set.format == HV_GENERIC_SET_ALL;
1471214ff83dSVitaly Kuznetsov 
1472214ff83dSVitaly Kuznetsov 		if (!sparse_banks_len)
1473214ff83dSVitaly Kuznetsov 			goto ret_success;
1474214ff83dSVitaly Kuznetsov 
1475214ff83dSVitaly Kuznetsov 		if (!all_cpus &&
1476214ff83dSVitaly Kuznetsov 		    kvm_read_guest(kvm,
1477214ff83dSVitaly Kuznetsov 				   ingpa + offsetof(struct hv_send_ipi_ex,
1478214ff83dSVitaly Kuznetsov 						    vp_set.bank_contents),
1479214ff83dSVitaly Kuznetsov 				   sparse_banks,
1480214ff83dSVitaly Kuznetsov 				   sparse_banks_len))
1481214ff83dSVitaly Kuznetsov 			return HV_STATUS_INVALID_HYPERCALL_INPUT;
1482214ff83dSVitaly Kuznetsov 	}
1483214ff83dSVitaly Kuznetsov 
1484f21dd494SVitaly Kuznetsov 	if ((vector < HV_IPI_LOW_VECTOR) || (vector > HV_IPI_HIGH_VECTOR))
1485214ff83dSVitaly Kuznetsov 		return HV_STATUS_INVALID_HYPERCALL_INPUT;
1486214ff83dSVitaly Kuznetsov 
1487f21dd494SVitaly Kuznetsov 	vcpu_mask = all_cpus ? NULL :
1488f21dd494SVitaly Kuznetsov 		sparse_set_to_vcpu_mask(kvm, sparse_banks, valid_bank_mask,
1489f21dd494SVitaly Kuznetsov 					vp_bitmap, vcpu_bitmap);
1490214ff83dSVitaly Kuznetsov 
1491f21dd494SVitaly Kuznetsov 	kvm_send_ipi_to_many(kvm, vector, vcpu_mask);
1492214ff83dSVitaly Kuznetsov 
1493214ff83dSVitaly Kuznetsov ret_success:
1494214ff83dSVitaly Kuznetsov 	return HV_STATUS_SUCCESS;
1495214ff83dSVitaly Kuznetsov }
1496214ff83dSVitaly Kuznetsov 
1497e83d5887SAndrey Smetanin bool kvm_hv_hypercall_enabled(struct kvm *kvm)
1498e83d5887SAndrey Smetanin {
14993f5ad8beSPaolo Bonzini 	return READ_ONCE(kvm->arch.hyperv.hv_hypercall) & HV_X64_MSR_HYPERCALL_ENABLE;
1500e83d5887SAndrey Smetanin }
1501e83d5887SAndrey Smetanin 
150283326e43SAndrey Smetanin static void kvm_hv_hypercall_set_result(struct kvm_vcpu *vcpu, u64 result)
150383326e43SAndrey Smetanin {
150483326e43SAndrey Smetanin 	bool longmode;
150583326e43SAndrey Smetanin 
150683326e43SAndrey Smetanin 	longmode = is_64_bit_mode(vcpu);
150783326e43SAndrey Smetanin 	if (longmode)
150883326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RAX, result);
150983326e43SAndrey Smetanin 	else {
151083326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RDX, result >> 32);
151183326e43SAndrey Smetanin 		kvm_register_write(vcpu, VCPU_REGS_RAX, result & 0xffffffff);
151283326e43SAndrey Smetanin 	}
151383326e43SAndrey Smetanin }
151483326e43SAndrey Smetanin 
1515696ca779SRadim Krčmář static int kvm_hv_hypercall_complete(struct kvm_vcpu *vcpu, u64 result)
1516696ca779SRadim Krčmář {
1517696ca779SRadim Krčmář 	kvm_hv_hypercall_set_result(vcpu, result);
1518696ca779SRadim Krčmář 	++vcpu->stat.hypercalls;
1519696ca779SRadim Krčmář 	return kvm_skip_emulated_instruction(vcpu);
1520696ca779SRadim Krčmář }
1521696ca779SRadim Krčmář 
152283326e43SAndrey Smetanin static int kvm_hv_hypercall_complete_userspace(struct kvm_vcpu *vcpu)
152383326e43SAndrey Smetanin {
1524696ca779SRadim Krčmář 	return kvm_hv_hypercall_complete(vcpu, vcpu->run->hyperv.u.hcall.result);
152583326e43SAndrey Smetanin }
152683326e43SAndrey Smetanin 
1527faeb7833SRoman Kagan static u16 kvm_hvcall_signal_event(struct kvm_vcpu *vcpu, bool fast, u64 param)
1528faeb7833SRoman Kagan {
1529faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1530faeb7833SRoman Kagan 
1531faeb7833SRoman Kagan 	if (unlikely(!fast)) {
1532faeb7833SRoman Kagan 		int ret;
1533faeb7833SRoman Kagan 		gpa_t gpa = param;
1534faeb7833SRoman Kagan 
1535faeb7833SRoman Kagan 		if ((gpa & (__alignof__(param) - 1)) ||
1536faeb7833SRoman Kagan 		    offset_in_page(gpa) + sizeof(param) > PAGE_SIZE)
1537faeb7833SRoman Kagan 			return HV_STATUS_INVALID_ALIGNMENT;
1538faeb7833SRoman Kagan 
1539faeb7833SRoman Kagan 		ret = kvm_vcpu_read_guest(vcpu, gpa, &param, sizeof(param));
1540faeb7833SRoman Kagan 		if (ret < 0)
1541faeb7833SRoman Kagan 			return HV_STATUS_INVALID_ALIGNMENT;
1542faeb7833SRoman Kagan 	}
1543faeb7833SRoman Kagan 
1544faeb7833SRoman Kagan 	/*
1545faeb7833SRoman Kagan 	 * Per spec, bits 32-47 contain the extra "flag number".  However, we
1546faeb7833SRoman Kagan 	 * have no use for it, and in all known usecases it is zero, so just
1547faeb7833SRoman Kagan 	 * report lookup failure if it isn't.
1548faeb7833SRoman Kagan 	 */
1549faeb7833SRoman Kagan 	if (param & 0xffff00000000ULL)
1550faeb7833SRoman Kagan 		return HV_STATUS_INVALID_PORT_ID;
1551faeb7833SRoman Kagan 	/* remaining bits are reserved-zero */
1552faeb7833SRoman Kagan 	if (param & ~KVM_HYPERV_CONN_ID_MASK)
1553faeb7833SRoman Kagan 		return HV_STATUS_INVALID_HYPERCALL_INPUT;
1554faeb7833SRoman Kagan 
1555452a68d0SPaolo Bonzini 	/* the eventfd is protected by vcpu->kvm->srcu, but conn_to_evt isn't */
1556452a68d0SPaolo Bonzini 	rcu_read_lock();
1557faeb7833SRoman Kagan 	eventfd = idr_find(&vcpu->kvm->arch.hyperv.conn_to_evt, param);
1558452a68d0SPaolo Bonzini 	rcu_read_unlock();
1559faeb7833SRoman Kagan 	if (!eventfd)
1560faeb7833SRoman Kagan 		return HV_STATUS_INVALID_PORT_ID;
1561faeb7833SRoman Kagan 
1562faeb7833SRoman Kagan 	eventfd_signal(eventfd, 1);
1563faeb7833SRoman Kagan 	return HV_STATUS_SUCCESS;
1564faeb7833SRoman Kagan }
1565faeb7833SRoman Kagan 
1566e83d5887SAndrey Smetanin int kvm_hv_hypercall(struct kvm_vcpu *vcpu)
1567e83d5887SAndrey Smetanin {
1568d32ef547SDan Carpenter 	u64 param, ingpa, outgpa, ret = HV_STATUS_SUCCESS;
1569d32ef547SDan Carpenter 	uint16_t code, rep_idx, rep_cnt;
157056b9ae78SVitaly Kuznetsov 	bool fast, longmode, rep;
1571e83d5887SAndrey Smetanin 
1572e83d5887SAndrey Smetanin 	/*
1573e83d5887SAndrey Smetanin 	 * hypercall generates UD from non zero cpl and real mode
1574e83d5887SAndrey Smetanin 	 * per HYPER-V spec
1575e83d5887SAndrey Smetanin 	 */
1576e83d5887SAndrey Smetanin 	if (kvm_x86_ops->get_cpl(vcpu) != 0 || !is_protmode(vcpu)) {
1577e83d5887SAndrey Smetanin 		kvm_queue_exception(vcpu, UD_VECTOR);
15780d9c055eSAndrey Smetanin 		return 1;
1579e83d5887SAndrey Smetanin 	}
1580e83d5887SAndrey Smetanin 
1581e83d5887SAndrey Smetanin 	longmode = is_64_bit_mode(vcpu);
1582e83d5887SAndrey Smetanin 
1583e83d5887SAndrey Smetanin 	if (!longmode) {
1584e83d5887SAndrey Smetanin 		param = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDX) << 32) |
1585e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RAX) & 0xffffffff);
1586e83d5887SAndrey Smetanin 		ingpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RBX) << 32) |
1587e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RCX) & 0xffffffff);
1588e83d5887SAndrey Smetanin 		outgpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDI) << 32) |
1589e83d5887SAndrey Smetanin 			(kvm_register_read(vcpu, VCPU_REGS_RSI) & 0xffffffff);
1590e83d5887SAndrey Smetanin 	}
1591e83d5887SAndrey Smetanin #ifdef CONFIG_X86_64
1592e83d5887SAndrey Smetanin 	else {
1593e83d5887SAndrey Smetanin 		param = kvm_register_read(vcpu, VCPU_REGS_RCX);
1594e83d5887SAndrey Smetanin 		ingpa = kvm_register_read(vcpu, VCPU_REGS_RDX);
1595e83d5887SAndrey Smetanin 		outgpa = kvm_register_read(vcpu, VCPU_REGS_R8);
1596e83d5887SAndrey Smetanin 	}
1597e83d5887SAndrey Smetanin #endif
1598e83d5887SAndrey Smetanin 
1599e83d5887SAndrey Smetanin 	code = param & 0xffff;
1600142c95daSVitaly Kuznetsov 	fast = !!(param & HV_HYPERCALL_FAST_BIT);
1601142c95daSVitaly Kuznetsov 	rep_cnt = (param >> HV_HYPERCALL_REP_COMP_OFFSET) & 0xfff;
1602142c95daSVitaly Kuznetsov 	rep_idx = (param >> HV_HYPERCALL_REP_START_OFFSET) & 0xfff;
160356b9ae78SVitaly Kuznetsov 	rep = !!(rep_cnt || rep_idx);
1604e83d5887SAndrey Smetanin 
1605e83d5887SAndrey Smetanin 	trace_kvm_hv_hypercall(code, fast, rep_cnt, rep_idx, ingpa, outgpa);
1606e83d5887SAndrey Smetanin 
1607e83d5887SAndrey Smetanin 	switch (code) {
16088ed6d767SAndrey Smetanin 	case HVCALL_NOTIFY_LONG_SPIN_WAIT:
160956b9ae78SVitaly Kuznetsov 		if (unlikely(rep)) {
161056b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
161156b9ae78SVitaly Kuznetsov 			break;
161256b9ae78SVitaly Kuznetsov 		}
1613de63ad4cSLongpeng(Mike) 		kvm_vcpu_on_spin(vcpu, true);
1614e83d5887SAndrey Smetanin 		break;
161583326e43SAndrey Smetanin 	case HVCALL_SIGNAL_EVENT:
161656b9ae78SVitaly Kuznetsov 		if (unlikely(rep)) {
161756b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
161856b9ae78SVitaly Kuznetsov 			break;
161956b9ae78SVitaly Kuznetsov 		}
1620d32ef547SDan Carpenter 		ret = kvm_hvcall_signal_event(vcpu, fast, ingpa);
1621d32ef547SDan Carpenter 		if (ret != HV_STATUS_INVALID_PORT_ID)
1622faeb7833SRoman Kagan 			break;
1623faeb7833SRoman Kagan 		/* maybe userspace knows this conn_id: fall through */
1624faeb7833SRoman Kagan 	case HVCALL_POST_MESSAGE:
1625a2b5c3c0SPaolo Bonzini 		/* don't bother userspace if it has no way to handle it */
162656b9ae78SVitaly Kuznetsov 		if (unlikely(rep || !vcpu_to_synic(vcpu)->active)) {
162756b9ae78SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1628a2b5c3c0SPaolo Bonzini 			break;
1629a2b5c3c0SPaolo Bonzini 		}
163083326e43SAndrey Smetanin 		vcpu->run->exit_reason = KVM_EXIT_HYPERV;
163183326e43SAndrey Smetanin 		vcpu->run->hyperv.type = KVM_EXIT_HYPERV_HCALL;
163283326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.input = param;
163383326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.params[0] = ingpa;
163483326e43SAndrey Smetanin 		vcpu->run->hyperv.u.hcall.params[1] = outgpa;
163583326e43SAndrey Smetanin 		vcpu->arch.complete_userspace_io =
163683326e43SAndrey Smetanin 				kvm_hv_hypercall_complete_userspace;
163783326e43SAndrey Smetanin 		return 0;
1638e2f11f42SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST:
1639e2f11f42SVitaly Kuznetsov 		if (unlikely(fast || !rep_cnt || rep_idx)) {
1640e2f11f42SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1641e2f11f42SVitaly Kuznetsov 			break;
1642e2f11f42SVitaly Kuznetsov 		}
1643c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, false);
1644e2f11f42SVitaly Kuznetsov 		break;
1645e2f11f42SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE:
1646e2f11f42SVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1647e2f11f42SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1648e2f11f42SVitaly Kuznetsov 			break;
1649e2f11f42SVitaly Kuznetsov 		}
1650c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, false);
1651c7012676SVitaly Kuznetsov 		break;
1652c7012676SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_LIST_EX:
1653c7012676SVitaly Kuznetsov 		if (unlikely(fast || !rep_cnt || rep_idx)) {
1654c7012676SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1655c7012676SVitaly Kuznetsov 			break;
1656c7012676SVitaly Kuznetsov 		}
1657c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, true);
1658c7012676SVitaly Kuznetsov 		break;
1659c7012676SVitaly Kuznetsov 	case HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE_EX:
1660c7012676SVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1661c7012676SVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1662c7012676SVitaly Kuznetsov 			break;
1663c7012676SVitaly Kuznetsov 		}
1664c7012676SVitaly Kuznetsov 		ret = kvm_hv_flush_tlb(vcpu, ingpa, rep_cnt, true);
1665e2f11f42SVitaly Kuznetsov 		break;
1666214ff83dSVitaly Kuznetsov 	case HVCALL_SEND_IPI:
1667214ff83dSVitaly Kuznetsov 		if (unlikely(rep)) {
1668214ff83dSVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1669214ff83dSVitaly Kuznetsov 			break;
1670214ff83dSVitaly Kuznetsov 		}
1671214ff83dSVitaly Kuznetsov 		ret = kvm_hv_send_ipi(vcpu, ingpa, outgpa, false, fast);
1672214ff83dSVitaly Kuznetsov 		break;
1673214ff83dSVitaly Kuznetsov 	case HVCALL_SEND_IPI_EX:
1674214ff83dSVitaly Kuznetsov 		if (unlikely(fast || rep)) {
1675214ff83dSVitaly Kuznetsov 			ret = HV_STATUS_INVALID_HYPERCALL_INPUT;
1676214ff83dSVitaly Kuznetsov 			break;
1677214ff83dSVitaly Kuznetsov 		}
1678214ff83dSVitaly Kuznetsov 		ret = kvm_hv_send_ipi(vcpu, ingpa, outgpa, true, false);
1679214ff83dSVitaly Kuznetsov 		break;
1680e83d5887SAndrey Smetanin 	default:
1681d32ef547SDan Carpenter 		ret = HV_STATUS_INVALID_HYPERCALL_CODE;
1682e83d5887SAndrey Smetanin 		break;
1683e83d5887SAndrey Smetanin 	}
1684e83d5887SAndrey Smetanin 
1685696ca779SRadim Krčmář 	return kvm_hv_hypercall_complete(vcpu, ret);
1686e83d5887SAndrey Smetanin }
1687cbc0236aSRoman Kagan 
1688cbc0236aSRoman Kagan void kvm_hv_init_vm(struct kvm *kvm)
1689cbc0236aSRoman Kagan {
1690cbc0236aSRoman Kagan 	mutex_init(&kvm->arch.hyperv.hv_lock);
1691faeb7833SRoman Kagan 	idr_init(&kvm->arch.hyperv.conn_to_evt);
1692cbc0236aSRoman Kagan }
1693cbc0236aSRoman Kagan 
1694cbc0236aSRoman Kagan void kvm_hv_destroy_vm(struct kvm *kvm)
1695cbc0236aSRoman Kagan {
1696faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1697faeb7833SRoman Kagan 	int i;
1698faeb7833SRoman Kagan 
1699faeb7833SRoman Kagan 	idr_for_each_entry(&kvm->arch.hyperv.conn_to_evt, eventfd, i)
1700faeb7833SRoman Kagan 		eventfd_ctx_put(eventfd);
1701faeb7833SRoman Kagan 	idr_destroy(&kvm->arch.hyperv.conn_to_evt);
1702faeb7833SRoman Kagan }
1703faeb7833SRoman Kagan 
1704faeb7833SRoman Kagan static int kvm_hv_eventfd_assign(struct kvm *kvm, u32 conn_id, int fd)
1705faeb7833SRoman Kagan {
1706faeb7833SRoman Kagan 	struct kvm_hv *hv = &kvm->arch.hyperv;
1707faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1708faeb7833SRoman Kagan 	int ret;
1709faeb7833SRoman Kagan 
1710faeb7833SRoman Kagan 	eventfd = eventfd_ctx_fdget(fd);
1711faeb7833SRoman Kagan 	if (IS_ERR(eventfd))
1712faeb7833SRoman Kagan 		return PTR_ERR(eventfd);
1713faeb7833SRoman Kagan 
1714faeb7833SRoman Kagan 	mutex_lock(&hv->hv_lock);
1715faeb7833SRoman Kagan 	ret = idr_alloc(&hv->conn_to_evt, eventfd, conn_id, conn_id + 1,
1716faeb7833SRoman Kagan 			GFP_KERNEL);
1717faeb7833SRoman Kagan 	mutex_unlock(&hv->hv_lock);
1718faeb7833SRoman Kagan 
1719faeb7833SRoman Kagan 	if (ret >= 0)
1720faeb7833SRoman Kagan 		return 0;
1721faeb7833SRoman Kagan 
1722faeb7833SRoman Kagan 	if (ret == -ENOSPC)
1723faeb7833SRoman Kagan 		ret = -EEXIST;
1724faeb7833SRoman Kagan 	eventfd_ctx_put(eventfd);
1725faeb7833SRoman Kagan 	return ret;
1726faeb7833SRoman Kagan }
1727faeb7833SRoman Kagan 
1728faeb7833SRoman Kagan static int kvm_hv_eventfd_deassign(struct kvm *kvm, u32 conn_id)
1729faeb7833SRoman Kagan {
1730faeb7833SRoman Kagan 	struct kvm_hv *hv = &kvm->arch.hyperv;
1731faeb7833SRoman Kagan 	struct eventfd_ctx *eventfd;
1732faeb7833SRoman Kagan 
1733faeb7833SRoman Kagan 	mutex_lock(&hv->hv_lock);
1734faeb7833SRoman Kagan 	eventfd = idr_remove(&hv->conn_to_evt, conn_id);
1735faeb7833SRoman Kagan 	mutex_unlock(&hv->hv_lock);
1736faeb7833SRoman Kagan 
1737faeb7833SRoman Kagan 	if (!eventfd)
1738faeb7833SRoman Kagan 		return -ENOENT;
1739faeb7833SRoman Kagan 
1740faeb7833SRoman Kagan 	synchronize_srcu(&kvm->srcu);
1741faeb7833SRoman Kagan 	eventfd_ctx_put(eventfd);
1742faeb7833SRoman Kagan 	return 0;
1743faeb7833SRoman Kagan }
1744faeb7833SRoman Kagan 
1745faeb7833SRoman Kagan int kvm_vm_ioctl_hv_eventfd(struct kvm *kvm, struct kvm_hyperv_eventfd *args)
1746faeb7833SRoman Kagan {
1747faeb7833SRoman Kagan 	if ((args->flags & ~KVM_HYPERV_EVENTFD_DEASSIGN) ||
1748faeb7833SRoman Kagan 	    (args->conn_id & ~KVM_HYPERV_CONN_ID_MASK))
1749faeb7833SRoman Kagan 		return -EINVAL;
1750faeb7833SRoman Kagan 
1751faeb7833SRoman Kagan 	if (args->flags == KVM_HYPERV_EVENTFD_DEASSIGN)
1752faeb7833SRoman Kagan 		return kvm_hv_eventfd_deassign(kvm, args->conn_id);
1753faeb7833SRoman Kagan 	return kvm_hv_eventfd_assign(kvm, args->conn_id, args->fd);
1754cbc0236aSRoman Kagan }
1755