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> 3232ef5517SIngo Molnar 335c919412SAndrey Smetanin #include <asm/apicdef.h> 34e83d5887SAndrey Smetanin #include <trace/events/kvm.h> 35e83d5887SAndrey Smetanin 36e83d5887SAndrey Smetanin #include "trace.h" 37e83d5887SAndrey Smetanin 385c919412SAndrey Smetanin static inline u64 synic_read_sint(struct kvm_vcpu_hv_synic *synic, int sint) 395c919412SAndrey Smetanin { 405c919412SAndrey Smetanin return atomic64_read(&synic->sint[sint]); 415c919412SAndrey Smetanin } 425c919412SAndrey Smetanin 435c919412SAndrey Smetanin static inline int synic_get_sint_vector(u64 sint_value) 445c919412SAndrey Smetanin { 455c919412SAndrey Smetanin if (sint_value & HV_SYNIC_SINT_MASKED) 465c919412SAndrey Smetanin return -1; 475c919412SAndrey Smetanin return sint_value & HV_SYNIC_SINT_VECTOR_MASK; 485c919412SAndrey Smetanin } 495c919412SAndrey Smetanin 505c919412SAndrey Smetanin static bool synic_has_vector_connected(struct kvm_vcpu_hv_synic *synic, 515c919412SAndrey Smetanin int vector) 525c919412SAndrey Smetanin { 535c919412SAndrey Smetanin int i; 545c919412SAndrey Smetanin 555c919412SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(synic->sint); i++) { 565c919412SAndrey Smetanin if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector) 575c919412SAndrey Smetanin return true; 585c919412SAndrey Smetanin } 595c919412SAndrey Smetanin return false; 605c919412SAndrey Smetanin } 615c919412SAndrey Smetanin 625c919412SAndrey Smetanin static bool synic_has_vector_auto_eoi(struct kvm_vcpu_hv_synic *synic, 635c919412SAndrey Smetanin int vector) 645c919412SAndrey Smetanin { 655c919412SAndrey Smetanin int i; 665c919412SAndrey Smetanin u64 sint_value; 675c919412SAndrey Smetanin 685c919412SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(synic->sint); i++) { 695c919412SAndrey Smetanin sint_value = synic_read_sint(synic, i); 705c919412SAndrey Smetanin if (synic_get_sint_vector(sint_value) == vector && 715c919412SAndrey Smetanin sint_value & HV_SYNIC_SINT_AUTO_EOI) 725c919412SAndrey Smetanin return true; 735c919412SAndrey Smetanin } 745c919412SAndrey Smetanin return false; 755c919412SAndrey Smetanin } 765c919412SAndrey Smetanin 777be58a64SAndrey Smetanin static int synic_set_sint(struct kvm_vcpu_hv_synic *synic, int sint, 787be58a64SAndrey Smetanin u64 data, bool host) 795c919412SAndrey Smetanin { 805c919412SAndrey Smetanin int vector; 815c919412SAndrey Smetanin 825c919412SAndrey Smetanin vector = data & HV_SYNIC_SINT_VECTOR_MASK; 837be58a64SAndrey Smetanin if (vector < 16 && !host) 845c919412SAndrey Smetanin return 1; 855c919412SAndrey Smetanin /* 865c919412SAndrey Smetanin * Guest may configure multiple SINTs to use the same vector, so 875c919412SAndrey Smetanin * we maintain a bitmap of vectors handled by synic, and a 885c919412SAndrey Smetanin * bitmap of vectors with auto-eoi behavior. The bitmaps are 895c919412SAndrey Smetanin * updated here, and atomically queried on fast paths. 905c919412SAndrey Smetanin */ 915c919412SAndrey Smetanin 925c919412SAndrey Smetanin atomic64_set(&synic->sint[sint], data); 935c919412SAndrey Smetanin 945c919412SAndrey Smetanin if (synic_has_vector_connected(synic, vector)) 955c919412SAndrey Smetanin __set_bit(vector, synic->vec_bitmap); 965c919412SAndrey Smetanin else 975c919412SAndrey Smetanin __clear_bit(vector, synic->vec_bitmap); 985c919412SAndrey Smetanin 995c919412SAndrey Smetanin if (synic_has_vector_auto_eoi(synic, vector)) 1005c919412SAndrey Smetanin __set_bit(vector, synic->auto_eoi_bitmap); 1015c919412SAndrey Smetanin else 1025c919412SAndrey Smetanin __clear_bit(vector, synic->auto_eoi_bitmap); 1035c919412SAndrey Smetanin 1045c919412SAndrey Smetanin /* Load SynIC vectors into EOI exit bitmap */ 1055c919412SAndrey Smetanin kvm_make_request(KVM_REQ_SCAN_IOAPIC, synic_to_vcpu(synic)); 1065c919412SAndrey Smetanin return 0; 1075c919412SAndrey Smetanin } 1085c919412SAndrey Smetanin 109d3457c87SRoman Kagan static struct kvm_vcpu *get_vcpu_by_vpidx(struct kvm *kvm, u32 vpidx) 110d3457c87SRoman Kagan { 111d3457c87SRoman Kagan struct kvm_vcpu *vcpu = NULL; 112d3457c87SRoman Kagan int i; 113d3457c87SRoman Kagan 114d3457c87SRoman Kagan if (vpidx < KVM_MAX_VCPUS) 115d3457c87SRoman Kagan vcpu = kvm_get_vcpu(kvm, vpidx); 116d3457c87SRoman Kagan if (vcpu && vcpu_to_hv_vcpu(vcpu)->vp_index == vpidx) 117d3457c87SRoman Kagan return vcpu; 118d3457c87SRoman Kagan kvm_for_each_vcpu(i, vcpu, kvm) 119d3457c87SRoman Kagan if (vcpu_to_hv_vcpu(vcpu)->vp_index == vpidx) 120d3457c87SRoman Kagan return vcpu; 121d3457c87SRoman Kagan return NULL; 122d3457c87SRoman Kagan } 123d3457c87SRoman Kagan 124d3457c87SRoman Kagan static struct kvm_vcpu_hv_synic *synic_get(struct kvm *kvm, u32 vpidx) 1255c919412SAndrey Smetanin { 1265c919412SAndrey Smetanin struct kvm_vcpu *vcpu; 1275c919412SAndrey Smetanin struct kvm_vcpu_hv_synic *synic; 1285c919412SAndrey Smetanin 129d3457c87SRoman Kagan vcpu = get_vcpu_by_vpidx(kvm, vpidx); 1305c919412SAndrey Smetanin if (!vcpu) 1315c919412SAndrey Smetanin return NULL; 1325c919412SAndrey Smetanin synic = vcpu_to_synic(vcpu); 1335c919412SAndrey Smetanin return (synic->active) ? synic : NULL; 1345c919412SAndrey Smetanin } 1355c919412SAndrey Smetanin 136765eaa0fSAndrey Smetanin static void synic_clear_sint_msg_pending(struct kvm_vcpu_hv_synic *synic, 137765eaa0fSAndrey Smetanin u32 sint) 138765eaa0fSAndrey Smetanin { 139765eaa0fSAndrey Smetanin struct kvm_vcpu *vcpu = synic_to_vcpu(synic); 140765eaa0fSAndrey Smetanin struct page *page; 141765eaa0fSAndrey Smetanin gpa_t gpa; 142765eaa0fSAndrey Smetanin struct hv_message *msg; 143765eaa0fSAndrey Smetanin struct hv_message_page *msg_page; 144765eaa0fSAndrey Smetanin 145765eaa0fSAndrey Smetanin gpa = synic->msg_page & PAGE_MASK; 146765eaa0fSAndrey Smetanin page = kvm_vcpu_gfn_to_page(vcpu, gpa >> PAGE_SHIFT); 147765eaa0fSAndrey Smetanin if (is_error_page(page)) { 148765eaa0fSAndrey Smetanin vcpu_err(vcpu, "Hyper-V SynIC can't get msg page, gpa 0x%llx\n", 149765eaa0fSAndrey Smetanin gpa); 150765eaa0fSAndrey Smetanin return; 151765eaa0fSAndrey Smetanin } 152765eaa0fSAndrey Smetanin msg_page = kmap_atomic(page); 153765eaa0fSAndrey Smetanin 154765eaa0fSAndrey Smetanin msg = &msg_page->sint_message[sint]; 155765eaa0fSAndrey Smetanin msg->header.message_flags.msg_pending = 0; 156765eaa0fSAndrey Smetanin 157765eaa0fSAndrey Smetanin kunmap_atomic(msg_page); 158765eaa0fSAndrey Smetanin kvm_release_page_dirty(page); 159765eaa0fSAndrey Smetanin kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT); 160765eaa0fSAndrey Smetanin } 161765eaa0fSAndrey Smetanin 1625c919412SAndrey Smetanin static void kvm_hv_notify_acked_sint(struct kvm_vcpu *vcpu, u32 sint) 1635c919412SAndrey Smetanin { 1645c919412SAndrey Smetanin struct kvm *kvm = vcpu->kvm; 165765eaa0fSAndrey Smetanin struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu); 1661f4b34f8SAndrey Smetanin struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu); 1671f4b34f8SAndrey Smetanin struct kvm_vcpu_hv_stimer *stimer; 1681f4b34f8SAndrey Smetanin int gsi, idx, stimers_pending; 1695c919412SAndrey Smetanin 17018659a9cSAndrey Smetanin trace_kvm_hv_notify_acked_sint(vcpu->vcpu_id, sint); 1715c919412SAndrey Smetanin 172765eaa0fSAndrey Smetanin if (synic->msg_page & HV_SYNIC_SIMP_ENABLE) 173765eaa0fSAndrey Smetanin synic_clear_sint_msg_pending(synic, sint); 174765eaa0fSAndrey Smetanin 1751f4b34f8SAndrey Smetanin /* Try to deliver pending Hyper-V SynIC timers messages */ 1761f4b34f8SAndrey Smetanin stimers_pending = 0; 1771f4b34f8SAndrey Smetanin for (idx = 0; idx < ARRAY_SIZE(hv_vcpu->stimer); idx++) { 1781f4b34f8SAndrey Smetanin stimer = &hv_vcpu->stimer[idx]; 1791f4b34f8SAndrey Smetanin if (stimer->msg_pending && 1801f4b34f8SAndrey Smetanin (stimer->config & HV_STIMER_ENABLE) && 1811f4b34f8SAndrey Smetanin HV_STIMER_SINT(stimer->config) == sint) { 1821f4b34f8SAndrey Smetanin set_bit(stimer->index, 1831f4b34f8SAndrey Smetanin hv_vcpu->stimer_pending_bitmap); 1841f4b34f8SAndrey Smetanin stimers_pending++; 1851f4b34f8SAndrey Smetanin } 1861f4b34f8SAndrey Smetanin } 1871f4b34f8SAndrey Smetanin if (stimers_pending) 1881f4b34f8SAndrey Smetanin kvm_make_request(KVM_REQ_HV_STIMER, vcpu); 1891f4b34f8SAndrey Smetanin 1905c919412SAndrey Smetanin idx = srcu_read_lock(&kvm->irq_srcu); 1911f4b34f8SAndrey Smetanin gsi = atomic_read(&synic->sint_to_gsi[sint]); 1925c919412SAndrey Smetanin if (gsi != -1) 1935c919412SAndrey Smetanin kvm_notify_acked_gsi(kvm, gsi); 1945c919412SAndrey Smetanin srcu_read_unlock(&kvm->irq_srcu, idx); 1955c919412SAndrey Smetanin } 1965c919412SAndrey Smetanin 197db397571SAndrey Smetanin static void synic_exit(struct kvm_vcpu_hv_synic *synic, u32 msr) 198db397571SAndrey Smetanin { 199db397571SAndrey Smetanin struct kvm_vcpu *vcpu = synic_to_vcpu(synic); 200db397571SAndrey Smetanin struct kvm_vcpu_hv *hv_vcpu = &vcpu->arch.hyperv; 201db397571SAndrey Smetanin 202db397571SAndrey Smetanin hv_vcpu->exit.type = KVM_EXIT_HYPERV_SYNIC; 203db397571SAndrey Smetanin hv_vcpu->exit.u.synic.msr = msr; 204db397571SAndrey Smetanin hv_vcpu->exit.u.synic.control = synic->control; 205db397571SAndrey Smetanin hv_vcpu->exit.u.synic.evt_page = synic->evt_page; 206db397571SAndrey Smetanin hv_vcpu->exit.u.synic.msg_page = synic->msg_page; 207db397571SAndrey Smetanin 208db397571SAndrey Smetanin kvm_make_request(KVM_REQ_HV_EXIT, vcpu); 209db397571SAndrey Smetanin } 210db397571SAndrey Smetanin 2115c919412SAndrey Smetanin static int synic_set_msr(struct kvm_vcpu_hv_synic *synic, 2125c919412SAndrey Smetanin u32 msr, u64 data, bool host) 2135c919412SAndrey Smetanin { 2145c919412SAndrey Smetanin struct kvm_vcpu *vcpu = synic_to_vcpu(synic); 2155c919412SAndrey Smetanin int ret; 2165c919412SAndrey Smetanin 2175c919412SAndrey Smetanin if (!synic->active) 2185c919412SAndrey Smetanin return 1; 2195c919412SAndrey Smetanin 22018659a9cSAndrey Smetanin trace_kvm_hv_synic_set_msr(vcpu->vcpu_id, msr, data, host); 22118659a9cSAndrey Smetanin 2225c919412SAndrey Smetanin ret = 0; 2235c919412SAndrey Smetanin switch (msr) { 2245c919412SAndrey Smetanin case HV_X64_MSR_SCONTROL: 2255c919412SAndrey Smetanin synic->control = data; 226db397571SAndrey Smetanin if (!host) 227db397571SAndrey Smetanin synic_exit(synic, msr); 2285c919412SAndrey Smetanin break; 2295c919412SAndrey Smetanin case HV_X64_MSR_SVERSION: 2305c919412SAndrey Smetanin if (!host) { 2315c919412SAndrey Smetanin ret = 1; 2325c919412SAndrey Smetanin break; 2335c919412SAndrey Smetanin } 2345c919412SAndrey Smetanin synic->version = data; 2355c919412SAndrey Smetanin break; 2365c919412SAndrey Smetanin case HV_X64_MSR_SIEFP: 237efc479e6SRoman Kagan if ((data & HV_SYNIC_SIEFP_ENABLE) && !host && 238efc479e6SRoman Kagan !synic->dont_zero_synic_pages) 2395c919412SAndrey Smetanin if (kvm_clear_guest(vcpu->kvm, 2405c919412SAndrey Smetanin data & PAGE_MASK, PAGE_SIZE)) { 2415c919412SAndrey Smetanin ret = 1; 2425c919412SAndrey Smetanin break; 2435c919412SAndrey Smetanin } 2445c919412SAndrey Smetanin synic->evt_page = data; 245db397571SAndrey Smetanin if (!host) 246db397571SAndrey Smetanin synic_exit(synic, msr); 2475c919412SAndrey Smetanin break; 2485c919412SAndrey Smetanin case HV_X64_MSR_SIMP: 249efc479e6SRoman Kagan if ((data & HV_SYNIC_SIMP_ENABLE) && !host && 250efc479e6SRoman Kagan !synic->dont_zero_synic_pages) 2515c919412SAndrey Smetanin if (kvm_clear_guest(vcpu->kvm, 2525c919412SAndrey Smetanin data & PAGE_MASK, PAGE_SIZE)) { 2535c919412SAndrey Smetanin ret = 1; 2545c919412SAndrey Smetanin break; 2555c919412SAndrey Smetanin } 2565c919412SAndrey Smetanin synic->msg_page = data; 257db397571SAndrey Smetanin if (!host) 258db397571SAndrey Smetanin synic_exit(synic, msr); 2595c919412SAndrey Smetanin break; 2605c919412SAndrey Smetanin case HV_X64_MSR_EOM: { 2615c919412SAndrey Smetanin int i; 2625c919412SAndrey Smetanin 2635c919412SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(synic->sint); i++) 2645c919412SAndrey Smetanin kvm_hv_notify_acked_sint(vcpu, i); 2655c919412SAndrey Smetanin break; 2665c919412SAndrey Smetanin } 2675c919412SAndrey Smetanin case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15: 2687be58a64SAndrey Smetanin ret = synic_set_sint(synic, msr - HV_X64_MSR_SINT0, data, host); 2695c919412SAndrey Smetanin break; 2705c919412SAndrey Smetanin default: 2715c919412SAndrey Smetanin ret = 1; 2725c919412SAndrey Smetanin break; 2735c919412SAndrey Smetanin } 2745c919412SAndrey Smetanin return ret; 2755c919412SAndrey Smetanin } 2765c919412SAndrey Smetanin 2775c919412SAndrey Smetanin static int synic_get_msr(struct kvm_vcpu_hv_synic *synic, u32 msr, u64 *pdata) 2785c919412SAndrey Smetanin { 2795c919412SAndrey Smetanin int ret; 2805c919412SAndrey Smetanin 2815c919412SAndrey Smetanin if (!synic->active) 2825c919412SAndrey Smetanin return 1; 2835c919412SAndrey Smetanin 2845c919412SAndrey Smetanin ret = 0; 2855c919412SAndrey Smetanin switch (msr) { 2865c919412SAndrey Smetanin case HV_X64_MSR_SCONTROL: 2875c919412SAndrey Smetanin *pdata = synic->control; 2885c919412SAndrey Smetanin break; 2895c919412SAndrey Smetanin case HV_X64_MSR_SVERSION: 2905c919412SAndrey Smetanin *pdata = synic->version; 2915c919412SAndrey Smetanin break; 2925c919412SAndrey Smetanin case HV_X64_MSR_SIEFP: 2935c919412SAndrey Smetanin *pdata = synic->evt_page; 2945c919412SAndrey Smetanin break; 2955c919412SAndrey Smetanin case HV_X64_MSR_SIMP: 2965c919412SAndrey Smetanin *pdata = synic->msg_page; 2975c919412SAndrey Smetanin break; 2985c919412SAndrey Smetanin case HV_X64_MSR_EOM: 2995c919412SAndrey Smetanin *pdata = 0; 3005c919412SAndrey Smetanin break; 3015c919412SAndrey Smetanin case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15: 3025c919412SAndrey Smetanin *pdata = atomic64_read(&synic->sint[msr - HV_X64_MSR_SINT0]); 3035c919412SAndrey Smetanin break; 3045c919412SAndrey Smetanin default: 3055c919412SAndrey Smetanin ret = 1; 3065c919412SAndrey Smetanin break; 3075c919412SAndrey Smetanin } 3085c919412SAndrey Smetanin return ret; 3095c919412SAndrey Smetanin } 3105c919412SAndrey Smetanin 311ecd8a8c2SJiang Biao static int synic_set_irq(struct kvm_vcpu_hv_synic *synic, u32 sint) 3125c919412SAndrey Smetanin { 3135c919412SAndrey Smetanin struct kvm_vcpu *vcpu = synic_to_vcpu(synic); 3145c919412SAndrey Smetanin struct kvm_lapic_irq irq; 3155c919412SAndrey Smetanin int ret, vector; 3165c919412SAndrey Smetanin 3175c919412SAndrey Smetanin if (sint >= ARRAY_SIZE(synic->sint)) 3185c919412SAndrey Smetanin return -EINVAL; 3195c919412SAndrey Smetanin 3205c919412SAndrey Smetanin vector = synic_get_sint_vector(synic_read_sint(synic, sint)); 3215c919412SAndrey Smetanin if (vector < 0) 3225c919412SAndrey Smetanin return -ENOENT; 3235c919412SAndrey Smetanin 3245c919412SAndrey Smetanin memset(&irq, 0, sizeof(irq)); 325f98a3efbSRadim Krčmář irq.shorthand = APIC_DEST_SELF; 3265c919412SAndrey Smetanin irq.dest_mode = APIC_DEST_PHYSICAL; 3275c919412SAndrey Smetanin irq.delivery_mode = APIC_DM_FIXED; 3285c919412SAndrey Smetanin irq.vector = vector; 3295c919412SAndrey Smetanin irq.level = 1; 3305c919412SAndrey Smetanin 331f98a3efbSRadim Krčmář ret = kvm_irq_delivery_to_apic(vcpu->kvm, vcpu->arch.apic, &irq, NULL); 33218659a9cSAndrey Smetanin trace_kvm_hv_synic_set_irq(vcpu->vcpu_id, sint, irq.vector, ret); 3335c919412SAndrey Smetanin return ret; 3345c919412SAndrey Smetanin } 3355c919412SAndrey Smetanin 336d3457c87SRoman Kagan int kvm_hv_synic_set_irq(struct kvm *kvm, u32 vpidx, u32 sint) 3375c919412SAndrey Smetanin { 3385c919412SAndrey Smetanin struct kvm_vcpu_hv_synic *synic; 3395c919412SAndrey Smetanin 340d3457c87SRoman Kagan synic = synic_get(kvm, vpidx); 3415c919412SAndrey Smetanin if (!synic) 3425c919412SAndrey Smetanin return -EINVAL; 3435c919412SAndrey Smetanin 3445c919412SAndrey Smetanin return synic_set_irq(synic, sint); 3455c919412SAndrey Smetanin } 3465c919412SAndrey Smetanin 3475c919412SAndrey Smetanin void kvm_hv_synic_send_eoi(struct kvm_vcpu *vcpu, int vector) 3485c919412SAndrey Smetanin { 3495c919412SAndrey Smetanin struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu); 3505c919412SAndrey Smetanin int i; 3515c919412SAndrey Smetanin 35218659a9cSAndrey Smetanin trace_kvm_hv_synic_send_eoi(vcpu->vcpu_id, vector); 3535c919412SAndrey Smetanin 3545c919412SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(synic->sint); i++) 3555c919412SAndrey Smetanin if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector) 3565c919412SAndrey Smetanin kvm_hv_notify_acked_sint(vcpu, i); 3575c919412SAndrey Smetanin } 3585c919412SAndrey Smetanin 359d3457c87SRoman Kagan static int kvm_hv_set_sint_gsi(struct kvm *kvm, u32 vpidx, u32 sint, int gsi) 3605c919412SAndrey Smetanin { 3615c919412SAndrey Smetanin struct kvm_vcpu_hv_synic *synic; 3625c919412SAndrey Smetanin 363d3457c87SRoman Kagan synic = synic_get(kvm, vpidx); 3645c919412SAndrey Smetanin if (!synic) 3655c919412SAndrey Smetanin return -EINVAL; 3665c919412SAndrey Smetanin 3675c919412SAndrey Smetanin if (sint >= ARRAY_SIZE(synic->sint_to_gsi)) 3685c919412SAndrey Smetanin return -EINVAL; 3695c919412SAndrey Smetanin 3705c919412SAndrey Smetanin atomic_set(&synic->sint_to_gsi[sint], gsi); 3715c919412SAndrey Smetanin return 0; 3725c919412SAndrey Smetanin } 3735c919412SAndrey Smetanin 3745c919412SAndrey Smetanin void kvm_hv_irq_routing_update(struct kvm *kvm) 3755c919412SAndrey Smetanin { 3765c919412SAndrey Smetanin struct kvm_irq_routing_table *irq_rt; 3775c919412SAndrey Smetanin struct kvm_kernel_irq_routing_entry *e; 3785c919412SAndrey Smetanin u32 gsi; 3795c919412SAndrey Smetanin 3805c919412SAndrey Smetanin irq_rt = srcu_dereference_check(kvm->irq_routing, &kvm->irq_srcu, 3815c919412SAndrey Smetanin lockdep_is_held(&kvm->irq_lock)); 3825c919412SAndrey Smetanin 3835c919412SAndrey Smetanin for (gsi = 0; gsi < irq_rt->nr_rt_entries; gsi++) { 3845c919412SAndrey Smetanin hlist_for_each_entry(e, &irq_rt->map[gsi], link) { 3855c919412SAndrey Smetanin if (e->type == KVM_IRQ_ROUTING_HV_SINT) 3865c919412SAndrey Smetanin kvm_hv_set_sint_gsi(kvm, e->hv_sint.vcpu, 3875c919412SAndrey Smetanin e->hv_sint.sint, gsi); 3885c919412SAndrey Smetanin } 3895c919412SAndrey Smetanin } 3905c919412SAndrey Smetanin } 3915c919412SAndrey Smetanin 3925c919412SAndrey Smetanin static void synic_init(struct kvm_vcpu_hv_synic *synic) 3935c919412SAndrey Smetanin { 3945c919412SAndrey Smetanin int i; 3955c919412SAndrey Smetanin 3965c919412SAndrey Smetanin memset(synic, 0, sizeof(*synic)); 3975c919412SAndrey Smetanin synic->version = HV_SYNIC_VERSION_1; 3985c919412SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(synic->sint); i++) { 3995c919412SAndrey Smetanin atomic64_set(&synic->sint[i], HV_SYNIC_SINT_MASKED); 4005c919412SAndrey Smetanin atomic_set(&synic->sint_to_gsi[i], -1); 4015c919412SAndrey Smetanin } 4025c919412SAndrey Smetanin } 4035c919412SAndrey Smetanin 40493bf4172SAndrey Smetanin static u64 get_time_ref_counter(struct kvm *kvm) 40593bf4172SAndrey Smetanin { 406095cf55dSPaolo Bonzini struct kvm_hv *hv = &kvm->arch.hyperv; 407095cf55dSPaolo Bonzini struct kvm_vcpu *vcpu; 408095cf55dSPaolo Bonzini u64 tsc; 409095cf55dSPaolo Bonzini 410095cf55dSPaolo Bonzini /* 411095cf55dSPaolo Bonzini * The guest has not set up the TSC page or the clock isn't 412095cf55dSPaolo Bonzini * stable, fall back to get_kvmclock_ns. 413095cf55dSPaolo Bonzini */ 414095cf55dSPaolo Bonzini if (!hv->tsc_ref.tsc_sequence) 415108b249cSPaolo Bonzini return div_u64(get_kvmclock_ns(kvm), 100); 416095cf55dSPaolo Bonzini 417095cf55dSPaolo Bonzini vcpu = kvm_get_vcpu(kvm, 0); 418095cf55dSPaolo Bonzini tsc = kvm_read_l1_tsc(vcpu, rdtsc()); 419095cf55dSPaolo Bonzini return mul_u64_u64_shr(tsc, hv->tsc_ref.tsc_scale, 64) 420095cf55dSPaolo Bonzini + hv->tsc_ref.tsc_offset; 42193bf4172SAndrey Smetanin } 42293bf4172SAndrey Smetanin 423f3b138c5SAndrey Smetanin static void stimer_mark_pending(struct kvm_vcpu_hv_stimer *stimer, 4241f4b34f8SAndrey Smetanin bool vcpu_kick) 4251f4b34f8SAndrey Smetanin { 4261f4b34f8SAndrey Smetanin struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer); 4271f4b34f8SAndrey Smetanin 4281f4b34f8SAndrey Smetanin set_bit(stimer->index, 4291f4b34f8SAndrey Smetanin vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap); 4301f4b34f8SAndrey Smetanin kvm_make_request(KVM_REQ_HV_STIMER, vcpu); 4311f4b34f8SAndrey Smetanin if (vcpu_kick) 4321f4b34f8SAndrey Smetanin kvm_vcpu_kick(vcpu); 4331f4b34f8SAndrey Smetanin } 4341f4b34f8SAndrey Smetanin 4351f4b34f8SAndrey Smetanin static void stimer_cleanup(struct kvm_vcpu_hv_stimer *stimer) 4361f4b34f8SAndrey Smetanin { 4371f4b34f8SAndrey Smetanin struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer); 4381f4b34f8SAndrey Smetanin 439ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_cleanup(stimer_to_vcpu(stimer)->vcpu_id, 440ac3e5fcaSAndrey Smetanin stimer->index); 441ac3e5fcaSAndrey Smetanin 442019b9781SAndrey Smetanin hrtimer_cancel(&stimer->timer); 4431f4b34f8SAndrey Smetanin clear_bit(stimer->index, 4441f4b34f8SAndrey Smetanin vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap); 4451f4b34f8SAndrey Smetanin stimer->msg_pending = false; 446f808495dSAndrey Smetanin stimer->exp_time = 0; 4471f4b34f8SAndrey Smetanin } 4481f4b34f8SAndrey Smetanin 4491f4b34f8SAndrey Smetanin static enum hrtimer_restart stimer_timer_callback(struct hrtimer *timer) 4501f4b34f8SAndrey Smetanin { 4511f4b34f8SAndrey Smetanin struct kvm_vcpu_hv_stimer *stimer; 4521f4b34f8SAndrey Smetanin 4531f4b34f8SAndrey Smetanin stimer = container_of(timer, struct kvm_vcpu_hv_stimer, timer); 454ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_callback(stimer_to_vcpu(stimer)->vcpu_id, 455ac3e5fcaSAndrey Smetanin stimer->index); 456f3b138c5SAndrey Smetanin stimer_mark_pending(stimer, true); 4571f4b34f8SAndrey Smetanin 4581f4b34f8SAndrey Smetanin return HRTIMER_NORESTART; 4591f4b34f8SAndrey Smetanin } 4601f4b34f8SAndrey Smetanin 461f808495dSAndrey Smetanin /* 462f808495dSAndrey Smetanin * stimer_start() assumptions: 463f808495dSAndrey Smetanin * a) stimer->count is not equal to 0 464f808495dSAndrey Smetanin * b) stimer->config has HV_STIMER_ENABLE flag 465f808495dSAndrey Smetanin */ 4661f4b34f8SAndrey Smetanin static int stimer_start(struct kvm_vcpu_hv_stimer *stimer) 4671f4b34f8SAndrey Smetanin { 4681f4b34f8SAndrey Smetanin u64 time_now; 4691f4b34f8SAndrey Smetanin ktime_t ktime_now; 4701f4b34f8SAndrey Smetanin 4711f4b34f8SAndrey Smetanin time_now = get_time_ref_counter(stimer_to_vcpu(stimer)->kvm); 4721f4b34f8SAndrey Smetanin ktime_now = ktime_get(); 4731f4b34f8SAndrey Smetanin 4741f4b34f8SAndrey Smetanin if (stimer->config & HV_STIMER_PERIODIC) { 475f808495dSAndrey Smetanin if (stimer->exp_time) { 476f808495dSAndrey Smetanin if (time_now >= stimer->exp_time) { 477f808495dSAndrey Smetanin u64 remainder; 4781f4b34f8SAndrey Smetanin 479f808495dSAndrey Smetanin div64_u64_rem(time_now - stimer->exp_time, 480f808495dSAndrey Smetanin stimer->count, &remainder); 481f808495dSAndrey Smetanin stimer->exp_time = 482f808495dSAndrey Smetanin time_now + (stimer->count - remainder); 483f808495dSAndrey Smetanin } 484f808495dSAndrey Smetanin } else 4851f4b34f8SAndrey Smetanin stimer->exp_time = time_now + stimer->count; 486f808495dSAndrey Smetanin 487ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_start_periodic( 488ac3e5fcaSAndrey Smetanin stimer_to_vcpu(stimer)->vcpu_id, 489ac3e5fcaSAndrey Smetanin stimer->index, 490ac3e5fcaSAndrey Smetanin time_now, stimer->exp_time); 491ac3e5fcaSAndrey Smetanin 4921f4b34f8SAndrey Smetanin hrtimer_start(&stimer->timer, 493f808495dSAndrey Smetanin ktime_add_ns(ktime_now, 494f808495dSAndrey Smetanin 100 * (stimer->exp_time - time_now)), 4951f4b34f8SAndrey Smetanin HRTIMER_MODE_ABS); 4961f4b34f8SAndrey Smetanin return 0; 4971f4b34f8SAndrey Smetanin } 4981f4b34f8SAndrey Smetanin stimer->exp_time = stimer->count; 4991f4b34f8SAndrey Smetanin if (time_now >= stimer->count) { 5001f4b34f8SAndrey Smetanin /* 5011f4b34f8SAndrey Smetanin * Expire timer according to Hypervisor Top-Level Functional 5021f4b34f8SAndrey Smetanin * specification v4(15.3.1): 5031f4b34f8SAndrey Smetanin * "If a one shot is enabled and the specified count is in 5041f4b34f8SAndrey Smetanin * the past, it will expire immediately." 5051f4b34f8SAndrey Smetanin */ 506f3b138c5SAndrey Smetanin stimer_mark_pending(stimer, false); 5071f4b34f8SAndrey Smetanin return 0; 5081f4b34f8SAndrey Smetanin } 5091f4b34f8SAndrey Smetanin 510ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_start_one_shot(stimer_to_vcpu(stimer)->vcpu_id, 511ac3e5fcaSAndrey Smetanin stimer->index, 512ac3e5fcaSAndrey Smetanin time_now, stimer->count); 513ac3e5fcaSAndrey Smetanin 5141f4b34f8SAndrey Smetanin hrtimer_start(&stimer->timer, 5151f4b34f8SAndrey Smetanin ktime_add_ns(ktime_now, 100 * (stimer->count - time_now)), 5161f4b34f8SAndrey Smetanin HRTIMER_MODE_ABS); 5171f4b34f8SAndrey Smetanin return 0; 5181f4b34f8SAndrey Smetanin } 5191f4b34f8SAndrey Smetanin 5201f4b34f8SAndrey Smetanin static int stimer_set_config(struct kvm_vcpu_hv_stimer *stimer, u64 config, 5211f4b34f8SAndrey Smetanin bool host) 5221f4b34f8SAndrey Smetanin { 523ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_set_config(stimer_to_vcpu(stimer)->vcpu_id, 524ac3e5fcaSAndrey Smetanin stimer->index, config, host); 525ac3e5fcaSAndrey Smetanin 526f3b138c5SAndrey Smetanin stimer_cleanup(stimer); 52723a3b201SAndrey Smetanin if ((stimer->config & HV_STIMER_ENABLE) && HV_STIMER_SINT(config) == 0) 5281f4b34f8SAndrey Smetanin config &= ~HV_STIMER_ENABLE; 5291f4b34f8SAndrey Smetanin stimer->config = config; 530f3b138c5SAndrey Smetanin stimer_mark_pending(stimer, false); 5311f4b34f8SAndrey Smetanin return 0; 5321f4b34f8SAndrey Smetanin } 5331f4b34f8SAndrey Smetanin 5341f4b34f8SAndrey Smetanin static int stimer_set_count(struct kvm_vcpu_hv_stimer *stimer, u64 count, 5351f4b34f8SAndrey Smetanin bool host) 5361f4b34f8SAndrey Smetanin { 537ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_set_count(stimer_to_vcpu(stimer)->vcpu_id, 538ac3e5fcaSAndrey Smetanin stimer->index, count, host); 539ac3e5fcaSAndrey Smetanin 5401f4b34f8SAndrey Smetanin stimer_cleanup(stimer); 541f3b138c5SAndrey Smetanin stimer->count = count; 5421f4b34f8SAndrey Smetanin if (stimer->count == 0) 5431f4b34f8SAndrey Smetanin stimer->config &= ~HV_STIMER_ENABLE; 544f3b138c5SAndrey Smetanin else if (stimer->config & HV_STIMER_AUTOENABLE) 5451f4b34f8SAndrey Smetanin stimer->config |= HV_STIMER_ENABLE; 546f3b138c5SAndrey Smetanin stimer_mark_pending(stimer, false); 5471f4b34f8SAndrey Smetanin return 0; 5481f4b34f8SAndrey Smetanin } 5491f4b34f8SAndrey Smetanin 5501f4b34f8SAndrey Smetanin static int stimer_get_config(struct kvm_vcpu_hv_stimer *stimer, u64 *pconfig) 5511f4b34f8SAndrey Smetanin { 5521f4b34f8SAndrey Smetanin *pconfig = stimer->config; 5531f4b34f8SAndrey Smetanin return 0; 5541f4b34f8SAndrey Smetanin } 5551f4b34f8SAndrey Smetanin 5561f4b34f8SAndrey Smetanin static int stimer_get_count(struct kvm_vcpu_hv_stimer *stimer, u64 *pcount) 5571f4b34f8SAndrey Smetanin { 5581f4b34f8SAndrey Smetanin *pcount = stimer->count; 5591f4b34f8SAndrey Smetanin return 0; 5601f4b34f8SAndrey Smetanin } 5611f4b34f8SAndrey Smetanin 5621f4b34f8SAndrey Smetanin static int synic_deliver_msg(struct kvm_vcpu_hv_synic *synic, u32 sint, 5631f4b34f8SAndrey Smetanin struct hv_message *src_msg) 5641f4b34f8SAndrey Smetanin { 5651f4b34f8SAndrey Smetanin struct kvm_vcpu *vcpu = synic_to_vcpu(synic); 5661f4b34f8SAndrey Smetanin struct page *page; 5671f4b34f8SAndrey Smetanin gpa_t gpa; 5681f4b34f8SAndrey Smetanin struct hv_message *dst_msg; 5691f4b34f8SAndrey Smetanin int r; 5701f4b34f8SAndrey Smetanin struct hv_message_page *msg_page; 5711f4b34f8SAndrey Smetanin 5721f4b34f8SAndrey Smetanin if (!(synic->msg_page & HV_SYNIC_SIMP_ENABLE)) 5731f4b34f8SAndrey Smetanin return -ENOENT; 5741f4b34f8SAndrey Smetanin 5751f4b34f8SAndrey Smetanin gpa = synic->msg_page & PAGE_MASK; 5761f4b34f8SAndrey Smetanin page = kvm_vcpu_gfn_to_page(vcpu, gpa >> PAGE_SHIFT); 5771f4b34f8SAndrey Smetanin if (is_error_page(page)) 5781f4b34f8SAndrey Smetanin return -EFAULT; 5791f4b34f8SAndrey Smetanin 5801f4b34f8SAndrey Smetanin msg_page = kmap_atomic(page); 5811f4b34f8SAndrey Smetanin dst_msg = &msg_page->sint_message[sint]; 5821f4b34f8SAndrey Smetanin if (sync_cmpxchg(&dst_msg->header.message_type, HVMSG_NONE, 5831f4b34f8SAndrey Smetanin src_msg->header.message_type) != HVMSG_NONE) { 5841f4b34f8SAndrey Smetanin dst_msg->header.message_flags.msg_pending = 1; 5851f4b34f8SAndrey Smetanin r = -EAGAIN; 5861f4b34f8SAndrey Smetanin } else { 5871f4b34f8SAndrey Smetanin memcpy(&dst_msg->u.payload, &src_msg->u.payload, 5881f4b34f8SAndrey Smetanin src_msg->header.payload_size); 5891f4b34f8SAndrey Smetanin dst_msg->header.message_type = src_msg->header.message_type; 5901f4b34f8SAndrey Smetanin dst_msg->header.payload_size = src_msg->header.payload_size; 5911f4b34f8SAndrey Smetanin r = synic_set_irq(synic, sint); 5921f4b34f8SAndrey Smetanin if (r >= 1) 5931f4b34f8SAndrey Smetanin r = 0; 5941f4b34f8SAndrey Smetanin else if (r == 0) 5951f4b34f8SAndrey Smetanin r = -EFAULT; 5961f4b34f8SAndrey Smetanin } 5971f4b34f8SAndrey Smetanin kunmap_atomic(msg_page); 5981f4b34f8SAndrey Smetanin kvm_release_page_dirty(page); 5991f4b34f8SAndrey Smetanin kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT); 6001f4b34f8SAndrey Smetanin return r; 6011f4b34f8SAndrey Smetanin } 6021f4b34f8SAndrey Smetanin 6030cdeabb1SAndrey Smetanin static int stimer_send_msg(struct kvm_vcpu_hv_stimer *stimer) 6041f4b34f8SAndrey Smetanin { 6051f4b34f8SAndrey Smetanin struct kvm_vcpu *vcpu = stimer_to_vcpu(stimer); 6061f4b34f8SAndrey Smetanin struct hv_message *msg = &stimer->msg; 6071f4b34f8SAndrey Smetanin struct hv_timer_message_payload *payload = 6081f4b34f8SAndrey Smetanin (struct hv_timer_message_payload *)&msg->u.payload; 6091f4b34f8SAndrey Smetanin 6101f4b34f8SAndrey Smetanin payload->expiration_time = stimer->exp_time; 6111f4b34f8SAndrey Smetanin payload->delivery_time = get_time_ref_counter(vcpu->kvm); 6120cdeabb1SAndrey Smetanin return synic_deliver_msg(vcpu_to_synic(vcpu), 6131f4b34f8SAndrey Smetanin HV_STIMER_SINT(stimer->config), msg); 6141f4b34f8SAndrey Smetanin } 6151f4b34f8SAndrey Smetanin 6161f4b34f8SAndrey Smetanin static void stimer_expiration(struct kvm_vcpu_hv_stimer *stimer) 6171f4b34f8SAndrey Smetanin { 618ac3e5fcaSAndrey Smetanin int r; 619ac3e5fcaSAndrey Smetanin 6200cdeabb1SAndrey Smetanin stimer->msg_pending = true; 621ac3e5fcaSAndrey Smetanin r = stimer_send_msg(stimer); 622ac3e5fcaSAndrey Smetanin trace_kvm_hv_stimer_expiration(stimer_to_vcpu(stimer)->vcpu_id, 623ac3e5fcaSAndrey Smetanin stimer->index, r); 624ac3e5fcaSAndrey Smetanin if (!r) { 6250cdeabb1SAndrey Smetanin stimer->msg_pending = false; 6261f4b34f8SAndrey Smetanin if (!(stimer->config & HV_STIMER_PERIODIC)) 6271ac1b65aSAndrey Smetanin stimer->config &= ~HV_STIMER_ENABLE; 6280cdeabb1SAndrey Smetanin } 6291f4b34f8SAndrey Smetanin } 6301f4b34f8SAndrey Smetanin 6311f4b34f8SAndrey Smetanin void kvm_hv_process_stimers(struct kvm_vcpu *vcpu) 6321f4b34f8SAndrey Smetanin { 6331f4b34f8SAndrey Smetanin struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu); 6341f4b34f8SAndrey Smetanin struct kvm_vcpu_hv_stimer *stimer; 635f3b138c5SAndrey Smetanin u64 time_now, exp_time; 6361f4b34f8SAndrey Smetanin int i; 6371f4b34f8SAndrey Smetanin 6381f4b34f8SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++) 6391f4b34f8SAndrey Smetanin if (test_and_clear_bit(i, hv_vcpu->stimer_pending_bitmap)) { 6401f4b34f8SAndrey Smetanin stimer = &hv_vcpu->stimer[i]; 6411f4b34f8SAndrey Smetanin if (stimer->config & HV_STIMER_ENABLE) { 642f3b138c5SAndrey Smetanin exp_time = stimer->exp_time; 6430cdeabb1SAndrey Smetanin 644f3b138c5SAndrey Smetanin if (exp_time) { 645f3b138c5SAndrey Smetanin time_now = 646f3b138c5SAndrey Smetanin get_time_ref_counter(vcpu->kvm); 647f3b138c5SAndrey Smetanin if (time_now >= exp_time) 648f3b138c5SAndrey Smetanin stimer_expiration(stimer); 649f3b138c5SAndrey Smetanin } 650f3b138c5SAndrey Smetanin 651f3b138c5SAndrey Smetanin if ((stimer->config & HV_STIMER_ENABLE) && 652f1ff89ecSRoman Kagan stimer->count) { 653f1ff89ecSRoman Kagan if (!stimer->msg_pending) 6540cdeabb1SAndrey Smetanin stimer_start(stimer); 655f1ff89ecSRoman Kagan } else 6560cdeabb1SAndrey Smetanin stimer_cleanup(stimer); 6571f4b34f8SAndrey Smetanin } 6581f4b34f8SAndrey Smetanin } 6591f4b34f8SAndrey Smetanin } 6601f4b34f8SAndrey Smetanin 6611f4b34f8SAndrey Smetanin void kvm_hv_vcpu_uninit(struct kvm_vcpu *vcpu) 6621f4b34f8SAndrey Smetanin { 6631f4b34f8SAndrey Smetanin struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu); 6641f4b34f8SAndrey Smetanin int i; 6651f4b34f8SAndrey Smetanin 6661f4b34f8SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++) 6671f4b34f8SAndrey Smetanin stimer_cleanup(&hv_vcpu->stimer[i]); 6681f4b34f8SAndrey Smetanin } 6691f4b34f8SAndrey Smetanin 6701f4b34f8SAndrey Smetanin static void stimer_prepare_msg(struct kvm_vcpu_hv_stimer *stimer) 6711f4b34f8SAndrey Smetanin { 6721f4b34f8SAndrey Smetanin struct hv_message *msg = &stimer->msg; 6731f4b34f8SAndrey Smetanin struct hv_timer_message_payload *payload = 6741f4b34f8SAndrey Smetanin (struct hv_timer_message_payload *)&msg->u.payload; 6751f4b34f8SAndrey Smetanin 6761f4b34f8SAndrey Smetanin memset(&msg->header, 0, sizeof(msg->header)); 6771f4b34f8SAndrey Smetanin msg->header.message_type = HVMSG_TIMER_EXPIRED; 6781f4b34f8SAndrey Smetanin msg->header.payload_size = sizeof(*payload); 6791f4b34f8SAndrey Smetanin 6801f4b34f8SAndrey Smetanin payload->timer_index = stimer->index; 6811f4b34f8SAndrey Smetanin payload->expiration_time = 0; 6821f4b34f8SAndrey Smetanin payload->delivery_time = 0; 6831f4b34f8SAndrey Smetanin } 6841f4b34f8SAndrey Smetanin 6851f4b34f8SAndrey Smetanin static void stimer_init(struct kvm_vcpu_hv_stimer *stimer, int timer_index) 6861f4b34f8SAndrey Smetanin { 6871f4b34f8SAndrey Smetanin memset(stimer, 0, sizeof(*stimer)); 6881f4b34f8SAndrey Smetanin stimer->index = timer_index; 6891f4b34f8SAndrey Smetanin hrtimer_init(&stimer->timer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS); 6901f4b34f8SAndrey Smetanin stimer->timer.function = stimer_timer_callback; 6911f4b34f8SAndrey Smetanin stimer_prepare_msg(stimer); 6921f4b34f8SAndrey Smetanin } 6931f4b34f8SAndrey Smetanin 6945c919412SAndrey Smetanin void kvm_hv_vcpu_init(struct kvm_vcpu *vcpu) 6955c919412SAndrey Smetanin { 6961f4b34f8SAndrey Smetanin struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu); 6971f4b34f8SAndrey Smetanin int i; 6981f4b34f8SAndrey Smetanin 6991f4b34f8SAndrey Smetanin synic_init(&hv_vcpu->synic); 7001f4b34f8SAndrey Smetanin 7011f4b34f8SAndrey Smetanin bitmap_zero(hv_vcpu->stimer_pending_bitmap, HV_SYNIC_STIMER_COUNT); 7021f4b34f8SAndrey Smetanin for (i = 0; i < ARRAY_SIZE(hv_vcpu->stimer); i++) 7031f4b34f8SAndrey Smetanin stimer_init(&hv_vcpu->stimer[i], i); 7045c919412SAndrey Smetanin } 7055c919412SAndrey Smetanin 706d3457c87SRoman Kagan void kvm_hv_vcpu_postcreate(struct kvm_vcpu *vcpu) 707d3457c87SRoman Kagan { 708d3457c87SRoman Kagan struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu); 709d3457c87SRoman Kagan 710d3457c87SRoman Kagan hv_vcpu->vp_index = kvm_vcpu_get_idx(vcpu); 711d3457c87SRoman Kagan } 712d3457c87SRoman Kagan 713efc479e6SRoman Kagan int kvm_hv_activate_synic(struct kvm_vcpu *vcpu, bool dont_zero_synic_pages) 7145c919412SAndrey Smetanin { 715efc479e6SRoman Kagan struct kvm_vcpu_hv_synic *synic = vcpu_to_synic(vcpu); 716efc479e6SRoman Kagan 7175c919412SAndrey Smetanin /* 7185c919412SAndrey Smetanin * Hyper-V SynIC auto EOI SINT's are 7195c919412SAndrey Smetanin * not compatible with APICV, so deactivate APICV 7205c919412SAndrey Smetanin */ 7215c919412SAndrey Smetanin kvm_vcpu_deactivate_apicv(vcpu); 722efc479e6SRoman Kagan synic->active = true; 723efc479e6SRoman Kagan synic->dont_zero_synic_pages = dont_zero_synic_pages; 7245c919412SAndrey Smetanin return 0; 7255c919412SAndrey Smetanin } 7265c919412SAndrey Smetanin 727e83d5887SAndrey Smetanin static bool kvm_hv_msr_partition_wide(u32 msr) 728e83d5887SAndrey Smetanin { 729e83d5887SAndrey Smetanin bool r = false; 730e83d5887SAndrey Smetanin 731e83d5887SAndrey Smetanin switch (msr) { 732e83d5887SAndrey Smetanin case HV_X64_MSR_GUEST_OS_ID: 733e83d5887SAndrey Smetanin case HV_X64_MSR_HYPERCALL: 734e83d5887SAndrey Smetanin case HV_X64_MSR_REFERENCE_TSC: 735e83d5887SAndrey Smetanin case HV_X64_MSR_TIME_REF_COUNT: 736e7d9513bSAndrey Smetanin case HV_X64_MSR_CRASH_CTL: 737e7d9513bSAndrey Smetanin case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4: 738e516cebbSAndrey Smetanin case HV_X64_MSR_RESET: 739e83d5887SAndrey Smetanin r = true; 740e83d5887SAndrey Smetanin break; 741e83d5887SAndrey Smetanin } 742e83d5887SAndrey Smetanin 743e83d5887SAndrey Smetanin return r; 744e83d5887SAndrey Smetanin } 745e83d5887SAndrey Smetanin 746e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_data(struct kvm_vcpu *vcpu, 747e7d9513bSAndrey Smetanin u32 index, u64 *pdata) 748e7d9513bSAndrey Smetanin { 749e7d9513bSAndrey Smetanin struct kvm_hv *hv = &vcpu->kvm->arch.hyperv; 750e7d9513bSAndrey Smetanin 751e7d9513bSAndrey Smetanin if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param))) 752e7d9513bSAndrey Smetanin return -EINVAL; 753e7d9513bSAndrey Smetanin 754e7d9513bSAndrey Smetanin *pdata = hv->hv_crash_param[index]; 755e7d9513bSAndrey Smetanin return 0; 756e7d9513bSAndrey Smetanin } 757e7d9513bSAndrey Smetanin 758e7d9513bSAndrey Smetanin static int kvm_hv_msr_get_crash_ctl(struct kvm_vcpu *vcpu, u64 *pdata) 759e7d9513bSAndrey Smetanin { 760e7d9513bSAndrey Smetanin struct kvm_hv *hv = &vcpu->kvm->arch.hyperv; 761e7d9513bSAndrey Smetanin 762e7d9513bSAndrey Smetanin *pdata = hv->hv_crash_ctl; 763e7d9513bSAndrey Smetanin return 0; 764e7d9513bSAndrey Smetanin } 765e7d9513bSAndrey Smetanin 766e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_ctl(struct kvm_vcpu *vcpu, u64 data, bool host) 767e7d9513bSAndrey Smetanin { 768e7d9513bSAndrey Smetanin struct kvm_hv *hv = &vcpu->kvm->arch.hyperv; 769e7d9513bSAndrey Smetanin 770e7d9513bSAndrey Smetanin if (host) 771e7d9513bSAndrey Smetanin hv->hv_crash_ctl = data & HV_X64_MSR_CRASH_CTL_NOTIFY; 772e7d9513bSAndrey Smetanin 773e7d9513bSAndrey Smetanin if (!host && (data & HV_X64_MSR_CRASH_CTL_NOTIFY)) { 774e7d9513bSAndrey Smetanin 775e7d9513bSAndrey Smetanin vcpu_debug(vcpu, "hv crash (0x%llx 0x%llx 0x%llx 0x%llx 0x%llx)\n", 776e7d9513bSAndrey Smetanin hv->hv_crash_param[0], 777e7d9513bSAndrey Smetanin hv->hv_crash_param[1], 778e7d9513bSAndrey Smetanin hv->hv_crash_param[2], 779e7d9513bSAndrey Smetanin hv->hv_crash_param[3], 780e7d9513bSAndrey Smetanin hv->hv_crash_param[4]); 781e7d9513bSAndrey Smetanin 782e7d9513bSAndrey Smetanin /* Send notification about crash to user space */ 783e7d9513bSAndrey Smetanin kvm_make_request(KVM_REQ_HV_CRASH, vcpu); 784e7d9513bSAndrey Smetanin } 785e7d9513bSAndrey Smetanin 786e7d9513bSAndrey Smetanin return 0; 787e7d9513bSAndrey Smetanin } 788e7d9513bSAndrey Smetanin 789e7d9513bSAndrey Smetanin static int kvm_hv_msr_set_crash_data(struct kvm_vcpu *vcpu, 790e7d9513bSAndrey Smetanin u32 index, u64 data) 791e7d9513bSAndrey Smetanin { 792e7d9513bSAndrey Smetanin struct kvm_hv *hv = &vcpu->kvm->arch.hyperv; 793e7d9513bSAndrey Smetanin 794e7d9513bSAndrey Smetanin if (WARN_ON_ONCE(index >= ARRAY_SIZE(hv->hv_crash_param))) 795e7d9513bSAndrey Smetanin return -EINVAL; 796e7d9513bSAndrey Smetanin 797e7d9513bSAndrey Smetanin hv->hv_crash_param[index] = data; 798e7d9513bSAndrey Smetanin return 0; 799e7d9513bSAndrey Smetanin } 800e7d9513bSAndrey Smetanin 801095cf55dSPaolo Bonzini /* 802095cf55dSPaolo Bonzini * The kvmclock and Hyper-V TSC page use similar formulas, and converting 803095cf55dSPaolo Bonzini * between them is possible: 804095cf55dSPaolo Bonzini * 805095cf55dSPaolo Bonzini * kvmclock formula: 806095cf55dSPaolo Bonzini * nsec = (ticks - tsc_timestamp) * tsc_to_system_mul * 2^(tsc_shift-32) 807095cf55dSPaolo Bonzini * + system_time 808095cf55dSPaolo Bonzini * 809095cf55dSPaolo Bonzini * Hyper-V formula: 810095cf55dSPaolo Bonzini * nsec/100 = ticks * scale / 2^64 + offset 811095cf55dSPaolo Bonzini * 812095cf55dSPaolo Bonzini * When tsc_timestamp = system_time = 0, offset is zero in the Hyper-V formula. 813095cf55dSPaolo Bonzini * By dividing the kvmclock formula by 100 and equating what's left we get: 814095cf55dSPaolo Bonzini * ticks * scale / 2^64 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100 815095cf55dSPaolo Bonzini * scale / 2^64 = tsc_to_system_mul * 2^(tsc_shift-32) / 100 816095cf55dSPaolo Bonzini * scale = tsc_to_system_mul * 2^(32+tsc_shift) / 100 817095cf55dSPaolo Bonzini * 818095cf55dSPaolo Bonzini * Now expand the kvmclock formula and divide by 100: 819095cf55dSPaolo Bonzini * nsec = ticks * tsc_to_system_mul * 2^(tsc_shift-32) 820095cf55dSPaolo Bonzini * - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32) 821095cf55dSPaolo Bonzini * + system_time 822095cf55dSPaolo Bonzini * nsec/100 = ticks * tsc_to_system_mul * 2^(tsc_shift-32) / 100 823095cf55dSPaolo Bonzini * - tsc_timestamp * tsc_to_system_mul * 2^(tsc_shift-32) / 100 824095cf55dSPaolo Bonzini * + system_time / 100 825095cf55dSPaolo Bonzini * 826095cf55dSPaolo Bonzini * Replace tsc_to_system_mul * 2^(tsc_shift-32) / 100 by scale / 2^64: 827095cf55dSPaolo Bonzini * nsec/100 = ticks * scale / 2^64 828095cf55dSPaolo Bonzini * - tsc_timestamp * scale / 2^64 829095cf55dSPaolo Bonzini * + system_time / 100 830095cf55dSPaolo Bonzini * 831095cf55dSPaolo Bonzini * Equate with the Hyper-V formula so that ticks * scale / 2^64 cancels out: 832095cf55dSPaolo Bonzini * offset = system_time / 100 - tsc_timestamp * scale / 2^64 833095cf55dSPaolo Bonzini * 834095cf55dSPaolo Bonzini * These two equivalencies are implemented in this function. 835095cf55dSPaolo Bonzini */ 836095cf55dSPaolo Bonzini static bool compute_tsc_page_parameters(struct pvclock_vcpu_time_info *hv_clock, 837095cf55dSPaolo Bonzini HV_REFERENCE_TSC_PAGE *tsc_ref) 838095cf55dSPaolo Bonzini { 839095cf55dSPaolo Bonzini u64 max_mul; 840095cf55dSPaolo Bonzini 841095cf55dSPaolo Bonzini if (!(hv_clock->flags & PVCLOCK_TSC_STABLE_BIT)) 842095cf55dSPaolo Bonzini return false; 843095cf55dSPaolo Bonzini 844095cf55dSPaolo Bonzini /* 845095cf55dSPaolo Bonzini * check if scale would overflow, if so we use the time ref counter 846095cf55dSPaolo Bonzini * tsc_to_system_mul * 2^(tsc_shift+32) / 100 >= 2^64 847095cf55dSPaolo Bonzini * tsc_to_system_mul / 100 >= 2^(32-tsc_shift) 848095cf55dSPaolo Bonzini * tsc_to_system_mul >= 100 * 2^(32-tsc_shift) 849095cf55dSPaolo Bonzini */ 850095cf55dSPaolo Bonzini max_mul = 100ull << (32 - hv_clock->tsc_shift); 851095cf55dSPaolo Bonzini if (hv_clock->tsc_to_system_mul >= max_mul) 852095cf55dSPaolo Bonzini return false; 853095cf55dSPaolo Bonzini 854095cf55dSPaolo Bonzini /* 855095cf55dSPaolo Bonzini * Otherwise compute the scale and offset according to the formulas 856095cf55dSPaolo Bonzini * derived above. 857095cf55dSPaolo Bonzini */ 858095cf55dSPaolo Bonzini tsc_ref->tsc_scale = 859095cf55dSPaolo Bonzini mul_u64_u32_div(1ULL << (32 + hv_clock->tsc_shift), 860095cf55dSPaolo Bonzini hv_clock->tsc_to_system_mul, 861095cf55dSPaolo Bonzini 100); 862095cf55dSPaolo Bonzini 863095cf55dSPaolo Bonzini tsc_ref->tsc_offset = hv_clock->system_time; 864095cf55dSPaolo Bonzini do_div(tsc_ref->tsc_offset, 100); 865095cf55dSPaolo Bonzini tsc_ref->tsc_offset -= 866095cf55dSPaolo Bonzini mul_u64_u64_shr(hv_clock->tsc_timestamp, tsc_ref->tsc_scale, 64); 867095cf55dSPaolo Bonzini return true; 868095cf55dSPaolo Bonzini } 869095cf55dSPaolo Bonzini 870095cf55dSPaolo Bonzini void kvm_hv_setup_tsc_page(struct kvm *kvm, 871095cf55dSPaolo Bonzini struct pvclock_vcpu_time_info *hv_clock) 872095cf55dSPaolo Bonzini { 873095cf55dSPaolo Bonzini struct kvm_hv *hv = &kvm->arch.hyperv; 874095cf55dSPaolo Bonzini u32 tsc_seq; 875095cf55dSPaolo Bonzini u64 gfn; 876095cf55dSPaolo Bonzini 877095cf55dSPaolo Bonzini BUILD_BUG_ON(sizeof(tsc_seq) != sizeof(hv->tsc_ref.tsc_sequence)); 878095cf55dSPaolo Bonzini BUILD_BUG_ON(offsetof(HV_REFERENCE_TSC_PAGE, tsc_sequence) != 0); 879095cf55dSPaolo Bonzini 880095cf55dSPaolo Bonzini if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE)) 881095cf55dSPaolo Bonzini return; 882095cf55dSPaolo Bonzini 8833f5ad8beSPaolo Bonzini mutex_lock(&kvm->arch.hyperv.hv_lock); 8843f5ad8beSPaolo Bonzini if (!(hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE)) 8853f5ad8beSPaolo Bonzini goto out_unlock; 8863f5ad8beSPaolo Bonzini 887095cf55dSPaolo Bonzini gfn = hv->hv_tsc_page >> HV_X64_MSR_TSC_REFERENCE_ADDRESS_SHIFT; 888095cf55dSPaolo Bonzini /* 889095cf55dSPaolo Bonzini * Because the TSC parameters only vary when there is a 890095cf55dSPaolo Bonzini * change in the master clock, do not bother with caching. 891095cf55dSPaolo Bonzini */ 892095cf55dSPaolo Bonzini if (unlikely(kvm_read_guest(kvm, gfn_to_gpa(gfn), 893095cf55dSPaolo Bonzini &tsc_seq, sizeof(tsc_seq)))) 8943f5ad8beSPaolo Bonzini goto out_unlock; 895095cf55dSPaolo Bonzini 896095cf55dSPaolo Bonzini /* 897095cf55dSPaolo Bonzini * While we're computing and writing the parameters, force the 898095cf55dSPaolo Bonzini * guest to use the time reference count MSR. 899095cf55dSPaolo Bonzini */ 900095cf55dSPaolo Bonzini hv->tsc_ref.tsc_sequence = 0; 901095cf55dSPaolo Bonzini if (kvm_write_guest(kvm, gfn_to_gpa(gfn), 902095cf55dSPaolo Bonzini &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence))) 9033f5ad8beSPaolo Bonzini goto out_unlock; 904095cf55dSPaolo Bonzini 905095cf55dSPaolo Bonzini if (!compute_tsc_page_parameters(hv_clock, &hv->tsc_ref)) 9063f5ad8beSPaolo Bonzini goto out_unlock; 907095cf55dSPaolo Bonzini 908095cf55dSPaolo Bonzini /* Ensure sequence is zero before writing the rest of the struct. */ 909095cf55dSPaolo Bonzini smp_wmb(); 910095cf55dSPaolo Bonzini if (kvm_write_guest(kvm, gfn_to_gpa(gfn), &hv->tsc_ref, sizeof(hv->tsc_ref))) 9113f5ad8beSPaolo Bonzini goto out_unlock; 912095cf55dSPaolo Bonzini 913095cf55dSPaolo Bonzini /* 914095cf55dSPaolo Bonzini * Now switch to the TSC page mechanism by writing the sequence. 915095cf55dSPaolo Bonzini */ 916095cf55dSPaolo Bonzini tsc_seq++; 917095cf55dSPaolo Bonzini if (tsc_seq == 0xFFFFFFFF || tsc_seq == 0) 918095cf55dSPaolo Bonzini tsc_seq = 1; 919095cf55dSPaolo Bonzini 920095cf55dSPaolo Bonzini /* Write the struct entirely before the non-zero sequence. */ 921095cf55dSPaolo Bonzini smp_wmb(); 922095cf55dSPaolo Bonzini 923095cf55dSPaolo Bonzini hv->tsc_ref.tsc_sequence = tsc_seq; 924095cf55dSPaolo Bonzini kvm_write_guest(kvm, gfn_to_gpa(gfn), 925095cf55dSPaolo Bonzini &hv->tsc_ref, sizeof(hv->tsc_ref.tsc_sequence)); 9263f5ad8beSPaolo Bonzini out_unlock: 9273f5ad8beSPaolo Bonzini mutex_unlock(&kvm->arch.hyperv.hv_lock); 928095cf55dSPaolo Bonzini } 929095cf55dSPaolo Bonzini 930e7d9513bSAndrey Smetanin static int kvm_hv_set_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 data, 931e7d9513bSAndrey Smetanin bool host) 932e83d5887SAndrey Smetanin { 933e83d5887SAndrey Smetanin struct kvm *kvm = vcpu->kvm; 934e83d5887SAndrey Smetanin struct kvm_hv *hv = &kvm->arch.hyperv; 935e83d5887SAndrey Smetanin 936e83d5887SAndrey Smetanin switch (msr) { 937e83d5887SAndrey Smetanin case HV_X64_MSR_GUEST_OS_ID: 938e83d5887SAndrey Smetanin hv->hv_guest_os_id = data; 939e83d5887SAndrey Smetanin /* setting guest os id to zero disables hypercall page */ 940e83d5887SAndrey Smetanin if (!hv->hv_guest_os_id) 941e83d5887SAndrey Smetanin hv->hv_hypercall &= ~HV_X64_MSR_HYPERCALL_ENABLE; 942e83d5887SAndrey Smetanin break; 943e83d5887SAndrey Smetanin case HV_X64_MSR_HYPERCALL: { 944e83d5887SAndrey Smetanin u64 gfn; 945e83d5887SAndrey Smetanin unsigned long addr; 946e83d5887SAndrey Smetanin u8 instructions[4]; 947e83d5887SAndrey Smetanin 948e83d5887SAndrey Smetanin /* if guest os id is not set hypercall should remain disabled */ 949e83d5887SAndrey Smetanin if (!hv->hv_guest_os_id) 950e83d5887SAndrey Smetanin break; 951e83d5887SAndrey Smetanin if (!(data & HV_X64_MSR_HYPERCALL_ENABLE)) { 952e83d5887SAndrey Smetanin hv->hv_hypercall = data; 953e83d5887SAndrey Smetanin break; 954e83d5887SAndrey Smetanin } 955e83d5887SAndrey Smetanin gfn = data >> HV_X64_MSR_HYPERCALL_PAGE_ADDRESS_SHIFT; 956e83d5887SAndrey Smetanin addr = gfn_to_hva(kvm, gfn); 957e83d5887SAndrey Smetanin if (kvm_is_error_hva(addr)) 958e83d5887SAndrey Smetanin return 1; 959e83d5887SAndrey Smetanin kvm_x86_ops->patch_hypercall(vcpu, instructions); 960e83d5887SAndrey Smetanin ((unsigned char *)instructions)[3] = 0xc3; /* ret */ 961e83d5887SAndrey Smetanin if (__copy_to_user((void __user *)addr, instructions, 4)) 962e83d5887SAndrey Smetanin return 1; 963e83d5887SAndrey Smetanin hv->hv_hypercall = data; 964e83d5887SAndrey Smetanin mark_page_dirty(kvm, gfn); 965e83d5887SAndrey Smetanin break; 966e83d5887SAndrey Smetanin } 967095cf55dSPaolo Bonzini case HV_X64_MSR_REFERENCE_TSC: 968e83d5887SAndrey Smetanin hv->hv_tsc_page = data; 969095cf55dSPaolo Bonzini if (hv->hv_tsc_page & HV_X64_MSR_TSC_REFERENCE_ENABLE) 970095cf55dSPaolo Bonzini kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu); 971e83d5887SAndrey Smetanin break; 972e7d9513bSAndrey Smetanin case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4: 973e7d9513bSAndrey Smetanin return kvm_hv_msr_set_crash_data(vcpu, 974e7d9513bSAndrey Smetanin msr - HV_X64_MSR_CRASH_P0, 975e7d9513bSAndrey Smetanin data); 976e7d9513bSAndrey Smetanin case HV_X64_MSR_CRASH_CTL: 977e7d9513bSAndrey Smetanin return kvm_hv_msr_set_crash_ctl(vcpu, data, host); 978e516cebbSAndrey Smetanin case HV_X64_MSR_RESET: 979e516cebbSAndrey Smetanin if (data == 1) { 980e516cebbSAndrey Smetanin vcpu_debug(vcpu, "hyper-v reset requested\n"); 981e516cebbSAndrey Smetanin kvm_make_request(KVM_REQ_HV_RESET, vcpu); 982e516cebbSAndrey Smetanin } 983e516cebbSAndrey Smetanin break; 984e83d5887SAndrey Smetanin default: 985e83d5887SAndrey Smetanin vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n", 986e83d5887SAndrey Smetanin msr, data); 987e83d5887SAndrey Smetanin return 1; 988e83d5887SAndrey Smetanin } 989e83d5887SAndrey Smetanin return 0; 990e83d5887SAndrey Smetanin } 991e83d5887SAndrey Smetanin 9929eec50b8SAndrey Smetanin /* Calculate cpu time spent by current task in 100ns units */ 9939eec50b8SAndrey Smetanin static u64 current_task_runtime_100ns(void) 9949eec50b8SAndrey Smetanin { 9955613fda9SFrederic Weisbecker u64 utime, stime; 9969eec50b8SAndrey Smetanin 9979eec50b8SAndrey Smetanin task_cputime_adjusted(current, &utime, &stime); 9985613fda9SFrederic Weisbecker 9995613fda9SFrederic Weisbecker return div_u64(utime + stime, 100); 10009eec50b8SAndrey Smetanin } 10019eec50b8SAndrey Smetanin 10029eec50b8SAndrey Smetanin static int kvm_hv_set_msr(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host) 1003e83d5887SAndrey Smetanin { 1004e83d5887SAndrey Smetanin struct kvm_vcpu_hv *hv = &vcpu->arch.hyperv; 1005e83d5887SAndrey Smetanin 1006e83d5887SAndrey Smetanin switch (msr) { 1007d3457c87SRoman Kagan case HV_X64_MSR_VP_INDEX: 1008d3457c87SRoman Kagan if (!host) 1009d3457c87SRoman Kagan return 1; 1010d3457c87SRoman Kagan hv->vp_index = (u32)data; 1011d3457c87SRoman Kagan break; 1012e83d5887SAndrey Smetanin case HV_X64_MSR_APIC_ASSIST_PAGE: { 1013e83d5887SAndrey Smetanin u64 gfn; 1014e83d5887SAndrey Smetanin unsigned long addr; 1015e83d5887SAndrey Smetanin 1016e83d5887SAndrey Smetanin if (!(data & HV_X64_MSR_APIC_ASSIST_PAGE_ENABLE)) { 1017e83d5887SAndrey Smetanin hv->hv_vapic = data; 1018e83d5887SAndrey Smetanin if (kvm_lapic_enable_pv_eoi(vcpu, 0)) 1019e83d5887SAndrey Smetanin return 1; 1020e83d5887SAndrey Smetanin break; 1021e83d5887SAndrey Smetanin } 1022e83d5887SAndrey Smetanin gfn = data >> HV_X64_MSR_APIC_ASSIST_PAGE_ADDRESS_SHIFT; 1023e83d5887SAndrey Smetanin addr = kvm_vcpu_gfn_to_hva(vcpu, gfn); 1024e83d5887SAndrey Smetanin if (kvm_is_error_hva(addr)) 1025e83d5887SAndrey Smetanin return 1; 1026e83d5887SAndrey Smetanin if (__clear_user((void __user *)addr, PAGE_SIZE)) 1027e83d5887SAndrey Smetanin return 1; 1028e83d5887SAndrey Smetanin hv->hv_vapic = data; 1029e83d5887SAndrey Smetanin kvm_vcpu_mark_page_dirty(vcpu, gfn); 1030e83d5887SAndrey Smetanin if (kvm_lapic_enable_pv_eoi(vcpu, 1031e83d5887SAndrey Smetanin gfn_to_gpa(gfn) | KVM_MSR_ENABLED)) 1032e83d5887SAndrey Smetanin return 1; 1033e83d5887SAndrey Smetanin break; 1034e83d5887SAndrey Smetanin } 1035e83d5887SAndrey Smetanin case HV_X64_MSR_EOI: 1036e83d5887SAndrey Smetanin return kvm_hv_vapic_msr_write(vcpu, APIC_EOI, data); 1037e83d5887SAndrey Smetanin case HV_X64_MSR_ICR: 1038e83d5887SAndrey Smetanin return kvm_hv_vapic_msr_write(vcpu, APIC_ICR, data); 1039e83d5887SAndrey Smetanin case HV_X64_MSR_TPR: 1040e83d5887SAndrey Smetanin return kvm_hv_vapic_msr_write(vcpu, APIC_TASKPRI, data); 10419eec50b8SAndrey Smetanin case HV_X64_MSR_VP_RUNTIME: 10429eec50b8SAndrey Smetanin if (!host) 10439eec50b8SAndrey Smetanin return 1; 10449eec50b8SAndrey Smetanin hv->runtime_offset = data - current_task_runtime_100ns(); 10459eec50b8SAndrey Smetanin break; 10465c919412SAndrey Smetanin case HV_X64_MSR_SCONTROL: 10475c919412SAndrey Smetanin case HV_X64_MSR_SVERSION: 10485c919412SAndrey Smetanin case HV_X64_MSR_SIEFP: 10495c919412SAndrey Smetanin case HV_X64_MSR_SIMP: 10505c919412SAndrey Smetanin case HV_X64_MSR_EOM: 10515c919412SAndrey Smetanin case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15: 10525c919412SAndrey Smetanin return synic_set_msr(vcpu_to_synic(vcpu), msr, data, host); 10531f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER0_CONFIG: 10541f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER1_CONFIG: 10551f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER2_CONFIG: 10561f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER3_CONFIG: { 10571f4b34f8SAndrey Smetanin int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2; 10581f4b34f8SAndrey Smetanin 10591f4b34f8SAndrey Smetanin return stimer_set_config(vcpu_to_stimer(vcpu, timer_index), 10601f4b34f8SAndrey Smetanin data, host); 10611f4b34f8SAndrey Smetanin } 10621f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER0_COUNT: 10631f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER1_COUNT: 10641f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER2_COUNT: 10651f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER3_COUNT: { 10661f4b34f8SAndrey Smetanin int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2; 10671f4b34f8SAndrey Smetanin 10681f4b34f8SAndrey Smetanin return stimer_set_count(vcpu_to_stimer(vcpu, timer_index), 10691f4b34f8SAndrey Smetanin data, host); 10701f4b34f8SAndrey Smetanin } 1071e83d5887SAndrey Smetanin default: 1072e83d5887SAndrey Smetanin vcpu_unimpl(vcpu, "Hyper-V uhandled wrmsr: 0x%x data 0x%llx\n", 1073e83d5887SAndrey Smetanin msr, data); 1074e83d5887SAndrey Smetanin return 1; 1075e83d5887SAndrey Smetanin } 1076e83d5887SAndrey Smetanin 1077e83d5887SAndrey Smetanin return 0; 1078e83d5887SAndrey Smetanin } 1079e83d5887SAndrey Smetanin 1080e83d5887SAndrey Smetanin static int kvm_hv_get_msr_pw(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata) 1081e83d5887SAndrey Smetanin { 1082e83d5887SAndrey Smetanin u64 data = 0; 1083e83d5887SAndrey Smetanin struct kvm *kvm = vcpu->kvm; 1084e83d5887SAndrey Smetanin struct kvm_hv *hv = &kvm->arch.hyperv; 1085e83d5887SAndrey Smetanin 1086e83d5887SAndrey Smetanin switch (msr) { 1087e83d5887SAndrey Smetanin case HV_X64_MSR_GUEST_OS_ID: 1088e83d5887SAndrey Smetanin data = hv->hv_guest_os_id; 1089e83d5887SAndrey Smetanin break; 1090e83d5887SAndrey Smetanin case HV_X64_MSR_HYPERCALL: 1091e83d5887SAndrey Smetanin data = hv->hv_hypercall; 1092e83d5887SAndrey Smetanin break; 109393bf4172SAndrey Smetanin case HV_X64_MSR_TIME_REF_COUNT: 109493bf4172SAndrey Smetanin data = get_time_ref_counter(kvm); 1095e83d5887SAndrey Smetanin break; 1096e83d5887SAndrey Smetanin case HV_X64_MSR_REFERENCE_TSC: 1097e83d5887SAndrey Smetanin data = hv->hv_tsc_page; 1098e83d5887SAndrey Smetanin break; 1099e7d9513bSAndrey Smetanin case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4: 1100e7d9513bSAndrey Smetanin return kvm_hv_msr_get_crash_data(vcpu, 1101e7d9513bSAndrey Smetanin msr - HV_X64_MSR_CRASH_P0, 1102e7d9513bSAndrey Smetanin pdata); 1103e7d9513bSAndrey Smetanin case HV_X64_MSR_CRASH_CTL: 1104e7d9513bSAndrey Smetanin return kvm_hv_msr_get_crash_ctl(vcpu, pdata); 1105e516cebbSAndrey Smetanin case HV_X64_MSR_RESET: 1106e516cebbSAndrey Smetanin data = 0; 1107e516cebbSAndrey Smetanin break; 1108e83d5887SAndrey Smetanin default: 1109e83d5887SAndrey Smetanin vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr); 1110e83d5887SAndrey Smetanin return 1; 1111e83d5887SAndrey Smetanin } 1112e83d5887SAndrey Smetanin 1113e83d5887SAndrey Smetanin *pdata = data; 1114e83d5887SAndrey Smetanin return 0; 1115e83d5887SAndrey Smetanin } 1116e83d5887SAndrey Smetanin 1117e83d5887SAndrey Smetanin static int kvm_hv_get_msr(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata) 1118e83d5887SAndrey Smetanin { 1119e83d5887SAndrey Smetanin u64 data = 0; 1120e83d5887SAndrey Smetanin struct kvm_vcpu_hv *hv = &vcpu->arch.hyperv; 1121e83d5887SAndrey Smetanin 1122e83d5887SAndrey Smetanin switch (msr) { 1123d3457c87SRoman Kagan case HV_X64_MSR_VP_INDEX: 1124d3457c87SRoman Kagan data = hv->vp_index; 1125e83d5887SAndrey Smetanin break; 1126e83d5887SAndrey Smetanin case HV_X64_MSR_EOI: 1127e83d5887SAndrey Smetanin return kvm_hv_vapic_msr_read(vcpu, APIC_EOI, pdata); 1128e83d5887SAndrey Smetanin case HV_X64_MSR_ICR: 1129e83d5887SAndrey Smetanin return kvm_hv_vapic_msr_read(vcpu, APIC_ICR, pdata); 1130e83d5887SAndrey Smetanin case HV_X64_MSR_TPR: 1131e83d5887SAndrey Smetanin return kvm_hv_vapic_msr_read(vcpu, APIC_TASKPRI, pdata); 1132e83d5887SAndrey Smetanin case HV_X64_MSR_APIC_ASSIST_PAGE: 1133e83d5887SAndrey Smetanin data = hv->hv_vapic; 1134e83d5887SAndrey Smetanin break; 11359eec50b8SAndrey Smetanin case HV_X64_MSR_VP_RUNTIME: 11369eec50b8SAndrey Smetanin data = current_task_runtime_100ns() + hv->runtime_offset; 11379eec50b8SAndrey Smetanin break; 11385c919412SAndrey Smetanin case HV_X64_MSR_SCONTROL: 11395c919412SAndrey Smetanin case HV_X64_MSR_SVERSION: 11405c919412SAndrey Smetanin case HV_X64_MSR_SIEFP: 11415c919412SAndrey Smetanin case HV_X64_MSR_SIMP: 11425c919412SAndrey Smetanin case HV_X64_MSR_EOM: 11435c919412SAndrey Smetanin case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15: 11445c919412SAndrey Smetanin return synic_get_msr(vcpu_to_synic(vcpu), msr, pdata); 11451f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER0_CONFIG: 11461f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER1_CONFIG: 11471f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER2_CONFIG: 11481f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER3_CONFIG: { 11491f4b34f8SAndrey Smetanin int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2; 11501f4b34f8SAndrey Smetanin 11511f4b34f8SAndrey Smetanin return stimer_get_config(vcpu_to_stimer(vcpu, timer_index), 11521f4b34f8SAndrey Smetanin pdata); 11531f4b34f8SAndrey Smetanin } 11541f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER0_COUNT: 11551f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER1_COUNT: 11561f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER2_COUNT: 11571f4b34f8SAndrey Smetanin case HV_X64_MSR_STIMER3_COUNT: { 11581f4b34f8SAndrey Smetanin int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2; 11591f4b34f8SAndrey Smetanin 11601f4b34f8SAndrey Smetanin return stimer_get_count(vcpu_to_stimer(vcpu, timer_index), 11611f4b34f8SAndrey Smetanin pdata); 11621f4b34f8SAndrey Smetanin } 116372c139baSLadi Prosek case HV_X64_MSR_TSC_FREQUENCY: 116472c139baSLadi Prosek data = (u64)vcpu->arch.virtual_tsc_khz * 1000; 116572c139baSLadi Prosek break; 116672c139baSLadi Prosek case HV_X64_MSR_APIC_FREQUENCY: 116772c139baSLadi Prosek data = APIC_BUS_FREQUENCY; 116872c139baSLadi Prosek break; 1169e83d5887SAndrey Smetanin default: 1170e83d5887SAndrey Smetanin vcpu_unimpl(vcpu, "Hyper-V unhandled rdmsr: 0x%x\n", msr); 1171e83d5887SAndrey Smetanin return 1; 1172e83d5887SAndrey Smetanin } 1173e83d5887SAndrey Smetanin *pdata = data; 1174e83d5887SAndrey Smetanin return 0; 1175e83d5887SAndrey Smetanin } 1176e83d5887SAndrey Smetanin 1177e7d9513bSAndrey Smetanin int kvm_hv_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data, bool host) 1178e83d5887SAndrey Smetanin { 1179e83d5887SAndrey Smetanin if (kvm_hv_msr_partition_wide(msr)) { 1180e83d5887SAndrey Smetanin int r; 1181e83d5887SAndrey Smetanin 11823f5ad8beSPaolo Bonzini mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock); 1183e7d9513bSAndrey Smetanin r = kvm_hv_set_msr_pw(vcpu, msr, data, host); 11843f5ad8beSPaolo Bonzini mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock); 1185e83d5887SAndrey Smetanin return r; 1186e83d5887SAndrey Smetanin } else 11879eec50b8SAndrey Smetanin return kvm_hv_set_msr(vcpu, msr, data, host); 1188e83d5887SAndrey Smetanin } 1189e83d5887SAndrey Smetanin 1190e83d5887SAndrey Smetanin int kvm_hv_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata) 1191e83d5887SAndrey Smetanin { 1192e83d5887SAndrey Smetanin if (kvm_hv_msr_partition_wide(msr)) { 1193e83d5887SAndrey Smetanin int r; 1194e83d5887SAndrey Smetanin 11953f5ad8beSPaolo Bonzini mutex_lock(&vcpu->kvm->arch.hyperv.hv_lock); 1196e83d5887SAndrey Smetanin r = kvm_hv_get_msr_pw(vcpu, msr, pdata); 11973f5ad8beSPaolo Bonzini mutex_unlock(&vcpu->kvm->arch.hyperv.hv_lock); 1198e83d5887SAndrey Smetanin return r; 1199e83d5887SAndrey Smetanin } else 1200e83d5887SAndrey Smetanin return kvm_hv_get_msr(vcpu, msr, pdata); 1201e83d5887SAndrey Smetanin } 1202e83d5887SAndrey Smetanin 1203e83d5887SAndrey Smetanin bool kvm_hv_hypercall_enabled(struct kvm *kvm) 1204e83d5887SAndrey Smetanin { 12053f5ad8beSPaolo Bonzini return READ_ONCE(kvm->arch.hyperv.hv_hypercall) & HV_X64_MSR_HYPERCALL_ENABLE; 1206e83d5887SAndrey Smetanin } 1207e83d5887SAndrey Smetanin 120883326e43SAndrey Smetanin static void kvm_hv_hypercall_set_result(struct kvm_vcpu *vcpu, u64 result) 120983326e43SAndrey Smetanin { 121083326e43SAndrey Smetanin bool longmode; 121183326e43SAndrey Smetanin 121283326e43SAndrey Smetanin longmode = is_64_bit_mode(vcpu); 121383326e43SAndrey Smetanin if (longmode) 121483326e43SAndrey Smetanin kvm_register_write(vcpu, VCPU_REGS_RAX, result); 121583326e43SAndrey Smetanin else { 121683326e43SAndrey Smetanin kvm_register_write(vcpu, VCPU_REGS_RDX, result >> 32); 121783326e43SAndrey Smetanin kvm_register_write(vcpu, VCPU_REGS_RAX, result & 0xffffffff); 121883326e43SAndrey Smetanin } 121983326e43SAndrey Smetanin } 122083326e43SAndrey Smetanin 122183326e43SAndrey Smetanin static int kvm_hv_hypercall_complete_userspace(struct kvm_vcpu *vcpu) 122283326e43SAndrey Smetanin { 122383326e43SAndrey Smetanin struct kvm_run *run = vcpu->run; 122483326e43SAndrey Smetanin 122583326e43SAndrey Smetanin kvm_hv_hypercall_set_result(vcpu, run->hyperv.u.hcall.result); 122683326e43SAndrey Smetanin return 1; 122783326e43SAndrey Smetanin } 122883326e43SAndrey Smetanin 1229e83d5887SAndrey Smetanin int kvm_hv_hypercall(struct kvm_vcpu *vcpu) 1230e83d5887SAndrey Smetanin { 1231e83d5887SAndrey Smetanin u64 param, ingpa, outgpa, ret; 1232e83d5887SAndrey Smetanin uint16_t code, rep_idx, rep_cnt, res = HV_STATUS_SUCCESS, rep_done = 0; 1233e83d5887SAndrey Smetanin bool fast, longmode; 1234e83d5887SAndrey Smetanin 1235e83d5887SAndrey Smetanin /* 1236e83d5887SAndrey Smetanin * hypercall generates UD from non zero cpl and real mode 1237e83d5887SAndrey Smetanin * per HYPER-V spec 1238e83d5887SAndrey Smetanin */ 1239e83d5887SAndrey Smetanin if (kvm_x86_ops->get_cpl(vcpu) != 0 || !is_protmode(vcpu)) { 1240e83d5887SAndrey Smetanin kvm_queue_exception(vcpu, UD_VECTOR); 12410d9c055eSAndrey Smetanin return 1; 1242e83d5887SAndrey Smetanin } 1243e83d5887SAndrey Smetanin 1244e83d5887SAndrey Smetanin longmode = is_64_bit_mode(vcpu); 1245e83d5887SAndrey Smetanin 1246e83d5887SAndrey Smetanin if (!longmode) { 1247e83d5887SAndrey Smetanin param = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDX) << 32) | 1248e83d5887SAndrey Smetanin (kvm_register_read(vcpu, VCPU_REGS_RAX) & 0xffffffff); 1249e83d5887SAndrey Smetanin ingpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RBX) << 32) | 1250e83d5887SAndrey Smetanin (kvm_register_read(vcpu, VCPU_REGS_RCX) & 0xffffffff); 1251e83d5887SAndrey Smetanin outgpa = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDI) << 32) | 1252e83d5887SAndrey Smetanin (kvm_register_read(vcpu, VCPU_REGS_RSI) & 0xffffffff); 1253e83d5887SAndrey Smetanin } 1254e83d5887SAndrey Smetanin #ifdef CONFIG_X86_64 1255e83d5887SAndrey Smetanin else { 1256e83d5887SAndrey Smetanin param = kvm_register_read(vcpu, VCPU_REGS_RCX); 1257e83d5887SAndrey Smetanin ingpa = kvm_register_read(vcpu, VCPU_REGS_RDX); 1258e83d5887SAndrey Smetanin outgpa = kvm_register_read(vcpu, VCPU_REGS_R8); 1259e83d5887SAndrey Smetanin } 1260e83d5887SAndrey Smetanin #endif 1261e83d5887SAndrey Smetanin 1262e83d5887SAndrey Smetanin code = param & 0xffff; 1263e83d5887SAndrey Smetanin fast = (param >> 16) & 0x1; 1264e83d5887SAndrey Smetanin rep_cnt = (param >> 32) & 0xfff; 1265e83d5887SAndrey Smetanin rep_idx = (param >> 48) & 0xfff; 1266e83d5887SAndrey Smetanin 1267e83d5887SAndrey Smetanin trace_kvm_hv_hypercall(code, fast, rep_cnt, rep_idx, ingpa, outgpa); 1268e83d5887SAndrey Smetanin 1269b2fdc257SAndrey Smetanin /* Hypercall continuation is not supported yet */ 1270b2fdc257SAndrey Smetanin if (rep_cnt || rep_idx) { 1271b2fdc257SAndrey Smetanin res = HV_STATUS_INVALID_HYPERCALL_CODE; 1272b2fdc257SAndrey Smetanin goto set_result; 1273b2fdc257SAndrey Smetanin } 1274b2fdc257SAndrey Smetanin 1275e83d5887SAndrey Smetanin switch (code) { 12768ed6d767SAndrey Smetanin case HVCALL_NOTIFY_LONG_SPIN_WAIT: 1277de63ad4cSLongpeng(Mike) kvm_vcpu_on_spin(vcpu, true); 1278e83d5887SAndrey Smetanin break; 127983326e43SAndrey Smetanin case HVCALL_POST_MESSAGE: 128083326e43SAndrey Smetanin case HVCALL_SIGNAL_EVENT: 1281a2b5c3c0SPaolo Bonzini /* don't bother userspace if it has no way to handle it */ 1282a2b5c3c0SPaolo Bonzini if (!vcpu_to_synic(vcpu)->active) { 1283a2b5c3c0SPaolo Bonzini res = HV_STATUS_INVALID_HYPERCALL_CODE; 1284a2b5c3c0SPaolo Bonzini break; 1285a2b5c3c0SPaolo Bonzini } 128683326e43SAndrey Smetanin vcpu->run->exit_reason = KVM_EXIT_HYPERV; 128783326e43SAndrey Smetanin vcpu->run->hyperv.type = KVM_EXIT_HYPERV_HCALL; 128883326e43SAndrey Smetanin vcpu->run->hyperv.u.hcall.input = param; 128983326e43SAndrey Smetanin vcpu->run->hyperv.u.hcall.params[0] = ingpa; 129083326e43SAndrey Smetanin vcpu->run->hyperv.u.hcall.params[1] = outgpa; 129183326e43SAndrey Smetanin vcpu->arch.complete_userspace_io = 129283326e43SAndrey Smetanin kvm_hv_hypercall_complete_userspace; 129383326e43SAndrey Smetanin return 0; 1294e83d5887SAndrey Smetanin default: 1295e83d5887SAndrey Smetanin res = HV_STATUS_INVALID_HYPERCALL_CODE; 1296e83d5887SAndrey Smetanin break; 1297e83d5887SAndrey Smetanin } 1298e83d5887SAndrey Smetanin 1299b2fdc257SAndrey Smetanin set_result: 1300e83d5887SAndrey Smetanin ret = res | (((u64)rep_done & 0xfff) << 32); 130183326e43SAndrey Smetanin kvm_hv_hypercall_set_result(vcpu, ret); 1302e83d5887SAndrey Smetanin return 1; 1303e83d5887SAndrey Smetanin } 1304*cbc0236aSRoman Kagan 1305*cbc0236aSRoman Kagan void kvm_hv_init_vm(struct kvm *kvm) 1306*cbc0236aSRoman Kagan { 1307*cbc0236aSRoman Kagan mutex_init(&kvm->arch.hyperv.hv_lock); 1308*cbc0236aSRoman Kagan } 1309*cbc0236aSRoman Kagan 1310*cbc0236aSRoman Kagan void kvm_hv_destroy_vm(struct kvm *kvm) 1311*cbc0236aSRoman Kagan { 1312*cbc0236aSRoman Kagan } 1313