xref: /openbmc/qemu/target/i386/hvf/hvf.c (revision 4d98a8e5)
169e0a03cSPaolo Bonzini /* Copyright 2008 IBM Corporation
269e0a03cSPaolo Bonzini  *           2008 Red Hat, Inc.
369e0a03cSPaolo Bonzini  * Copyright 2011 Intel Corporation
469e0a03cSPaolo Bonzini  * Copyright 2016 Veertu, Inc.
569e0a03cSPaolo Bonzini  * Copyright 2017 The Android Open Source Project
669e0a03cSPaolo Bonzini  *
769e0a03cSPaolo Bonzini  * QEMU Hypervisor.framework support
869e0a03cSPaolo Bonzini  *
969e0a03cSPaolo Bonzini  * This program is free software; you can redistribute it and/or
1069e0a03cSPaolo Bonzini  * modify it under the terms of version 2 of the GNU General Public
1169e0a03cSPaolo Bonzini  * License as published by the Free Software Foundation.
1269e0a03cSPaolo Bonzini  *
1369e0a03cSPaolo Bonzini  * This program is distributed in the hope that it will be useful,
1469e0a03cSPaolo Bonzini  * but WITHOUT ANY WARRANTY; without even the implied warranty of
1569e0a03cSPaolo Bonzini  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
1669e0a03cSPaolo Bonzini  * Lesser General Public License for more details.
1769e0a03cSPaolo Bonzini  *
1869e0a03cSPaolo Bonzini  * You should have received a copy of the GNU Lesser General Public
1969e0a03cSPaolo Bonzini  * License along with this program; if not, see <http://www.gnu.org/licenses/>.
20d781e24dSIzik Eidus  *
21d781e24dSIzik Eidus  * This file contain code under public domain from the hvdos project:
22d781e24dSIzik Eidus  * https://github.com/mist64/hvdos
23*4d98a8e5SPaolo Bonzini  *
24*4d98a8e5SPaolo Bonzini  * Parts Copyright (c) 2011 NetApp, Inc.
25*4d98a8e5SPaolo Bonzini  * All rights reserved.
26*4d98a8e5SPaolo Bonzini  *
27*4d98a8e5SPaolo Bonzini  * Redistribution and use in source and binary forms, with or without
28*4d98a8e5SPaolo Bonzini  * modification, are permitted provided that the following conditions
29*4d98a8e5SPaolo Bonzini  * are met:
30*4d98a8e5SPaolo Bonzini  * 1. Redistributions of source code must retain the above copyright
31*4d98a8e5SPaolo Bonzini  *    notice, this list of conditions and the following disclaimer.
32*4d98a8e5SPaolo Bonzini  * 2. Redistributions in binary form must reproduce the above copyright
33*4d98a8e5SPaolo Bonzini  *    notice, this list of conditions and the following disclaimer in the
34*4d98a8e5SPaolo Bonzini  *    documentation and/or other materials provided with the distribution.
35*4d98a8e5SPaolo Bonzini  *
36*4d98a8e5SPaolo Bonzini  * THIS SOFTWARE IS PROVIDED BY NETAPP, INC ``AS IS'' AND
37*4d98a8e5SPaolo Bonzini  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
38*4d98a8e5SPaolo Bonzini  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
39*4d98a8e5SPaolo Bonzini  * ARE DISCLAIMED.  IN NO EVENT SHALL NETAPP, INC OR CONTRIBUTORS BE LIABLE
40*4d98a8e5SPaolo Bonzini  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
41*4d98a8e5SPaolo Bonzini  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
42*4d98a8e5SPaolo Bonzini  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
43*4d98a8e5SPaolo Bonzini  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
44*4d98a8e5SPaolo Bonzini  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
45*4d98a8e5SPaolo Bonzini  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
46*4d98a8e5SPaolo Bonzini  * SUCH DAMAGE.
4769e0a03cSPaolo Bonzini  */
4869e0a03cSPaolo Bonzini #include "qemu/osdep.h"
4969e0a03cSPaolo Bonzini #include "qemu-common.h"
5069e0a03cSPaolo Bonzini #include "qemu/error-report.h"
5169e0a03cSPaolo Bonzini 
5269e0a03cSPaolo Bonzini #include "sysemu/hvf.h"
5369e0a03cSPaolo Bonzini #include "hvf-i386.h"
5469e0a03cSPaolo Bonzini #include "vmcs.h"
5569e0a03cSPaolo Bonzini #include "vmx.h"
5669e0a03cSPaolo Bonzini #include "x86.h"
5769e0a03cSPaolo Bonzini #include "x86_descr.h"
5869e0a03cSPaolo Bonzini #include "x86_mmu.h"
5969e0a03cSPaolo Bonzini #include "x86_decode.h"
6069e0a03cSPaolo Bonzini #include "x86_emu.h"
6169e0a03cSPaolo Bonzini #include "x86_task.h"
6269e0a03cSPaolo Bonzini #include "x86hvf.h"
6369e0a03cSPaolo Bonzini 
6469e0a03cSPaolo Bonzini #include <Hypervisor/hv.h>
6569e0a03cSPaolo Bonzini #include <Hypervisor/hv_vmx.h>
6669e0a03cSPaolo Bonzini 
6769e0a03cSPaolo Bonzini #include "exec/address-spaces.h"
6869e0a03cSPaolo Bonzini #include "exec/exec-all.h"
6969e0a03cSPaolo Bonzini #include "exec/ioport.h"
7069e0a03cSPaolo Bonzini #include "hw/i386/apic_internal.h"
7169e0a03cSPaolo Bonzini #include "hw/boards.h"
7269e0a03cSPaolo Bonzini #include "qemu/main-loop.h"
7369e0a03cSPaolo Bonzini #include "strings.h"
7469e0a03cSPaolo Bonzini #include "sysemu/accel.h"
7569e0a03cSPaolo Bonzini #include "sysemu/sysemu.h"
7669e0a03cSPaolo Bonzini #include "target/i386/cpu.h"
7769e0a03cSPaolo Bonzini 
7869e0a03cSPaolo Bonzini pthread_rwlock_t mem_lock = PTHREAD_RWLOCK_INITIALIZER;
7969e0a03cSPaolo Bonzini HVFState *hvf_state;
8069e0a03cSPaolo Bonzini int hvf_disabled = 1;
8169e0a03cSPaolo Bonzini 
8269e0a03cSPaolo Bonzini static void assert_hvf_ok(hv_return_t ret)
8369e0a03cSPaolo Bonzini {
8469e0a03cSPaolo Bonzini     if (ret == HV_SUCCESS) {
8569e0a03cSPaolo Bonzini         return;
8669e0a03cSPaolo Bonzini     }
8769e0a03cSPaolo Bonzini 
8869e0a03cSPaolo Bonzini     switch (ret) {
8969e0a03cSPaolo Bonzini     case HV_ERROR:
9069e0a03cSPaolo Bonzini         error_report("Error: HV_ERROR\n");
9169e0a03cSPaolo Bonzini         break;
9269e0a03cSPaolo Bonzini     case HV_BUSY:
9369e0a03cSPaolo Bonzini         error_report("Error: HV_BUSY\n");
9469e0a03cSPaolo Bonzini         break;
9569e0a03cSPaolo Bonzini     case HV_BAD_ARGUMENT:
9669e0a03cSPaolo Bonzini         error_report("Error: HV_BAD_ARGUMENT\n");
9769e0a03cSPaolo Bonzini         break;
9869e0a03cSPaolo Bonzini     case HV_NO_RESOURCES:
9969e0a03cSPaolo Bonzini         error_report("Error: HV_NO_RESOURCES\n");
10069e0a03cSPaolo Bonzini         break;
10169e0a03cSPaolo Bonzini     case HV_NO_DEVICE:
10269e0a03cSPaolo Bonzini         error_report("Error: HV_NO_DEVICE\n");
10369e0a03cSPaolo Bonzini         break;
10469e0a03cSPaolo Bonzini     case HV_UNSUPPORTED:
10569e0a03cSPaolo Bonzini         error_report("Error: HV_UNSUPPORTED\n");
10669e0a03cSPaolo Bonzini         break;
10769e0a03cSPaolo Bonzini     default:
10869e0a03cSPaolo Bonzini         error_report("Unknown Error\n");
10969e0a03cSPaolo Bonzini     }
11069e0a03cSPaolo Bonzini 
11169e0a03cSPaolo Bonzini     abort();
11269e0a03cSPaolo Bonzini }
11369e0a03cSPaolo Bonzini 
11469e0a03cSPaolo Bonzini /* Memory slots */
11569e0a03cSPaolo Bonzini hvf_slot *hvf_find_overlap_slot(uint64_t start, uint64_t end)
11669e0a03cSPaolo Bonzini {
11769e0a03cSPaolo Bonzini     hvf_slot *slot;
11869e0a03cSPaolo Bonzini     int x;
11969e0a03cSPaolo Bonzini     for (x = 0; x < hvf_state->num_slots; ++x) {
12069e0a03cSPaolo Bonzini         slot = &hvf_state->slots[x];
12169e0a03cSPaolo Bonzini         if (slot->size && start < (slot->start + slot->size) &&
12269e0a03cSPaolo Bonzini             end > slot->start) {
12369e0a03cSPaolo Bonzini             return slot;
12469e0a03cSPaolo Bonzini         }
12569e0a03cSPaolo Bonzini     }
12669e0a03cSPaolo Bonzini     return NULL;
12769e0a03cSPaolo Bonzini }
12869e0a03cSPaolo Bonzini 
12969e0a03cSPaolo Bonzini struct mac_slot {
13069e0a03cSPaolo Bonzini     int present;
13169e0a03cSPaolo Bonzini     uint64_t size;
13269e0a03cSPaolo Bonzini     uint64_t gpa_start;
13369e0a03cSPaolo Bonzini     uint64_t gva;
13469e0a03cSPaolo Bonzini };
13569e0a03cSPaolo Bonzini 
13669e0a03cSPaolo Bonzini struct mac_slot mac_slots[32];
13769e0a03cSPaolo Bonzini #define ALIGN(x, y)  (((x) + (y) - 1) & ~((y) - 1))
13869e0a03cSPaolo Bonzini 
13969e0a03cSPaolo Bonzini static int do_hvf_set_memory(hvf_slot *slot)
14069e0a03cSPaolo Bonzini {
14169e0a03cSPaolo Bonzini     struct mac_slot *macslot;
14269e0a03cSPaolo Bonzini     hv_memory_flags_t flags;
14369e0a03cSPaolo Bonzini     hv_return_t ret;
14469e0a03cSPaolo Bonzini 
14569e0a03cSPaolo Bonzini     macslot = &mac_slots[slot->slot_id];
14669e0a03cSPaolo Bonzini 
14769e0a03cSPaolo Bonzini     if (macslot->present) {
14869e0a03cSPaolo Bonzini         if (macslot->size != slot->size) {
14969e0a03cSPaolo Bonzini             macslot->present = 0;
15069e0a03cSPaolo Bonzini             ret = hv_vm_unmap(macslot->gpa_start, macslot->size);
15169e0a03cSPaolo Bonzini             assert_hvf_ok(ret);
15269e0a03cSPaolo Bonzini         }
15369e0a03cSPaolo Bonzini     }
15469e0a03cSPaolo Bonzini 
15569e0a03cSPaolo Bonzini     if (!slot->size) {
15669e0a03cSPaolo Bonzini         return 0;
15769e0a03cSPaolo Bonzini     }
15869e0a03cSPaolo Bonzini 
15969e0a03cSPaolo Bonzini     flags = HV_MEMORY_READ | HV_MEMORY_WRITE | HV_MEMORY_EXEC;
16069e0a03cSPaolo Bonzini 
16169e0a03cSPaolo Bonzini     macslot->present = 1;
16269e0a03cSPaolo Bonzini     macslot->gpa_start = slot->start;
16369e0a03cSPaolo Bonzini     macslot->size = slot->size;
16469e0a03cSPaolo Bonzini     ret = hv_vm_map((hv_uvaddr_t)slot->mem, slot->start, slot->size, flags);
16569e0a03cSPaolo Bonzini     assert_hvf_ok(ret);
16669e0a03cSPaolo Bonzini     return 0;
16769e0a03cSPaolo Bonzini }
16869e0a03cSPaolo Bonzini 
16969e0a03cSPaolo Bonzini void hvf_set_phys_mem(MemoryRegionSection *section, bool add)
17069e0a03cSPaolo Bonzini {
17169e0a03cSPaolo Bonzini     hvf_slot *mem;
17269e0a03cSPaolo Bonzini     MemoryRegion *area = section->mr;
17369e0a03cSPaolo Bonzini 
17469e0a03cSPaolo Bonzini     if (!memory_region_is_ram(area)) {
17569e0a03cSPaolo Bonzini         return;
17669e0a03cSPaolo Bonzini     }
17769e0a03cSPaolo Bonzini 
17869e0a03cSPaolo Bonzini     mem = hvf_find_overlap_slot(
17969e0a03cSPaolo Bonzini             section->offset_within_address_space,
18069e0a03cSPaolo Bonzini             section->offset_within_address_space + int128_get64(section->size));
18169e0a03cSPaolo Bonzini 
18269e0a03cSPaolo Bonzini     if (mem && add) {
18369e0a03cSPaolo Bonzini         if (mem->size == int128_get64(section->size) &&
18469e0a03cSPaolo Bonzini             mem->start == section->offset_within_address_space &&
18569e0a03cSPaolo Bonzini             mem->mem == (memory_region_get_ram_ptr(area) +
18669e0a03cSPaolo Bonzini             section->offset_within_region)) {
18769e0a03cSPaolo Bonzini             return; /* Same region was attempted to register, go away. */
18869e0a03cSPaolo Bonzini         }
18969e0a03cSPaolo Bonzini     }
19069e0a03cSPaolo Bonzini 
19169e0a03cSPaolo Bonzini     /* Region needs to be reset. set the size to 0 and remap it. */
19269e0a03cSPaolo Bonzini     if (mem) {
19369e0a03cSPaolo Bonzini         mem->size = 0;
19469e0a03cSPaolo Bonzini         if (do_hvf_set_memory(mem)) {
19569e0a03cSPaolo Bonzini             error_report("Failed to reset overlapping slot\n");
19669e0a03cSPaolo Bonzini             abort();
19769e0a03cSPaolo Bonzini         }
19869e0a03cSPaolo Bonzini     }
19969e0a03cSPaolo Bonzini 
20069e0a03cSPaolo Bonzini     if (!add) {
20169e0a03cSPaolo Bonzini         return;
20269e0a03cSPaolo Bonzini     }
20369e0a03cSPaolo Bonzini 
20469e0a03cSPaolo Bonzini     /* Now make a new slot. */
20569e0a03cSPaolo Bonzini     int x;
20669e0a03cSPaolo Bonzini 
20769e0a03cSPaolo Bonzini     for (x = 0; x < hvf_state->num_slots; ++x) {
20869e0a03cSPaolo Bonzini         mem = &hvf_state->slots[x];
20969e0a03cSPaolo Bonzini         if (!mem->size) {
21069e0a03cSPaolo Bonzini             break;
21169e0a03cSPaolo Bonzini         }
21269e0a03cSPaolo Bonzini     }
21369e0a03cSPaolo Bonzini 
21469e0a03cSPaolo Bonzini     if (x == hvf_state->num_slots) {
21569e0a03cSPaolo Bonzini         error_report("No free slots\n");
21669e0a03cSPaolo Bonzini         abort();
21769e0a03cSPaolo Bonzini     }
21869e0a03cSPaolo Bonzini 
21969e0a03cSPaolo Bonzini     mem->size = int128_get64(section->size);
22069e0a03cSPaolo Bonzini     mem->mem = memory_region_get_ram_ptr(area) + section->offset_within_region;
22169e0a03cSPaolo Bonzini     mem->start = section->offset_within_address_space;
22269e0a03cSPaolo Bonzini     mem->region = area;
22369e0a03cSPaolo Bonzini 
22469e0a03cSPaolo Bonzini     if (do_hvf_set_memory(mem)) {
22569e0a03cSPaolo Bonzini         error_report("Error registering new memory slot\n");
22669e0a03cSPaolo Bonzini         abort();
22769e0a03cSPaolo Bonzini     }
22869e0a03cSPaolo Bonzini }
22969e0a03cSPaolo Bonzini 
23069e0a03cSPaolo Bonzini void vmx_update_tpr(CPUState *cpu)
23169e0a03cSPaolo Bonzini {
23269e0a03cSPaolo Bonzini     /* TODO: need integrate APIC handling */
23369e0a03cSPaolo Bonzini     X86CPU *x86_cpu = X86_CPU(cpu);
23469e0a03cSPaolo Bonzini     int tpr = cpu_get_apic_tpr(x86_cpu->apic_state) << 4;
23569e0a03cSPaolo Bonzini     int irr = apic_get_highest_priority_irr(x86_cpu->apic_state);
23669e0a03cSPaolo Bonzini 
23769e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_TPR, tpr);
23869e0a03cSPaolo Bonzini     if (irr == -1) {
23969e0a03cSPaolo Bonzini         wvmcs(cpu->hvf_fd, VMCS_TPR_THRESHOLD, 0);
24069e0a03cSPaolo Bonzini     } else {
24169e0a03cSPaolo Bonzini         wvmcs(cpu->hvf_fd, VMCS_TPR_THRESHOLD, (irr > tpr) ? tpr >> 4 :
24269e0a03cSPaolo Bonzini               irr >> 4);
24369e0a03cSPaolo Bonzini     }
24469e0a03cSPaolo Bonzini }
24569e0a03cSPaolo Bonzini 
24669e0a03cSPaolo Bonzini void update_apic_tpr(CPUState *cpu)
24769e0a03cSPaolo Bonzini {
24869e0a03cSPaolo Bonzini     X86CPU *x86_cpu = X86_CPU(cpu);
24969e0a03cSPaolo Bonzini     int tpr = rreg(cpu->hvf_fd, HV_X86_TPR) >> 4;
25069e0a03cSPaolo Bonzini     cpu_set_apic_tpr(x86_cpu->apic_state, tpr);
25169e0a03cSPaolo Bonzini }
25269e0a03cSPaolo Bonzini 
25369e0a03cSPaolo Bonzini #define VECTORING_INFO_VECTOR_MASK     0xff
25469e0a03cSPaolo Bonzini 
25569e0a03cSPaolo Bonzini static void hvf_handle_interrupt(CPUState * cpu, int mask)
25669e0a03cSPaolo Bonzini {
25769e0a03cSPaolo Bonzini     cpu->interrupt_request |= mask;
25869e0a03cSPaolo Bonzini     if (!qemu_cpu_is_self(cpu)) {
25969e0a03cSPaolo Bonzini         qemu_cpu_kick(cpu);
26069e0a03cSPaolo Bonzini     }
26169e0a03cSPaolo Bonzini }
26269e0a03cSPaolo Bonzini 
26369e0a03cSPaolo Bonzini void hvf_handle_io(CPUArchState *env, uint16_t port, void *buffer,
26469e0a03cSPaolo Bonzini                   int direction, int size, int count)
26569e0a03cSPaolo Bonzini {
26669e0a03cSPaolo Bonzini     int i;
26769e0a03cSPaolo Bonzini     uint8_t *ptr = buffer;
26869e0a03cSPaolo Bonzini 
26969e0a03cSPaolo Bonzini     for (i = 0; i < count; i++) {
27069e0a03cSPaolo Bonzini         address_space_rw(&address_space_io, port, MEMTXATTRS_UNSPECIFIED,
27169e0a03cSPaolo Bonzini                          ptr, size,
27269e0a03cSPaolo Bonzini                          direction);
27369e0a03cSPaolo Bonzini         ptr += size;
27469e0a03cSPaolo Bonzini     }
27569e0a03cSPaolo Bonzini }
27669e0a03cSPaolo Bonzini 
27769e0a03cSPaolo Bonzini /* TODO: synchronize vcpu state */
27869e0a03cSPaolo Bonzini static void do_hvf_cpu_synchronize_state(CPUState *cpu, run_on_cpu_data arg)
27969e0a03cSPaolo Bonzini {
28069e0a03cSPaolo Bonzini     CPUState *cpu_state = cpu;
28169e0a03cSPaolo Bonzini     if (cpu_state->vcpu_dirty == 0) {
28269e0a03cSPaolo Bonzini         hvf_get_registers(cpu_state);
28369e0a03cSPaolo Bonzini     }
28469e0a03cSPaolo Bonzini 
28569e0a03cSPaolo Bonzini     cpu_state->vcpu_dirty = 1;
28669e0a03cSPaolo Bonzini }
28769e0a03cSPaolo Bonzini 
28869e0a03cSPaolo Bonzini void hvf_cpu_synchronize_state(CPUState *cpu_state)
28969e0a03cSPaolo Bonzini {
29069e0a03cSPaolo Bonzini     if (cpu_state->vcpu_dirty == 0) {
29169e0a03cSPaolo Bonzini         run_on_cpu(cpu_state, do_hvf_cpu_synchronize_state, RUN_ON_CPU_NULL);
29269e0a03cSPaolo Bonzini     }
29369e0a03cSPaolo Bonzini }
29469e0a03cSPaolo Bonzini 
29569e0a03cSPaolo Bonzini static void do_hvf_cpu_synchronize_post_reset(CPUState *cpu, run_on_cpu_data arg)
29669e0a03cSPaolo Bonzini {
29769e0a03cSPaolo Bonzini     CPUState *cpu_state = cpu;
29869e0a03cSPaolo Bonzini     hvf_put_registers(cpu_state);
29969e0a03cSPaolo Bonzini     cpu_state->vcpu_dirty = false;
30069e0a03cSPaolo Bonzini }
30169e0a03cSPaolo Bonzini 
30269e0a03cSPaolo Bonzini void hvf_cpu_synchronize_post_reset(CPUState *cpu_state)
30369e0a03cSPaolo Bonzini {
30469e0a03cSPaolo Bonzini     run_on_cpu(cpu_state, do_hvf_cpu_synchronize_post_reset, RUN_ON_CPU_NULL);
30569e0a03cSPaolo Bonzini }
30669e0a03cSPaolo Bonzini 
30769e0a03cSPaolo Bonzini void _hvf_cpu_synchronize_post_init(CPUState *cpu, run_on_cpu_data arg)
30869e0a03cSPaolo Bonzini {
30969e0a03cSPaolo Bonzini     CPUState *cpu_state = cpu;
31069e0a03cSPaolo Bonzini     hvf_put_registers(cpu_state);
31169e0a03cSPaolo Bonzini     cpu_state->vcpu_dirty = false;
31269e0a03cSPaolo Bonzini }
31369e0a03cSPaolo Bonzini 
31469e0a03cSPaolo Bonzini void hvf_cpu_synchronize_post_init(CPUState *cpu_state)
31569e0a03cSPaolo Bonzini {
31669e0a03cSPaolo Bonzini     run_on_cpu(cpu_state, _hvf_cpu_synchronize_post_init, RUN_ON_CPU_NULL);
31769e0a03cSPaolo Bonzini }
31869e0a03cSPaolo Bonzini 
319ff2de166SPaolo Bonzini static bool ept_emulation_fault(hvf_slot *slot, uint64_t gpa, uint64_t ept_qual)
32069e0a03cSPaolo Bonzini {
32169e0a03cSPaolo Bonzini     int read, write;
32269e0a03cSPaolo Bonzini 
32369e0a03cSPaolo Bonzini     /* EPT fault on an instruction fetch doesn't make sense here */
32469e0a03cSPaolo Bonzini     if (ept_qual & EPT_VIOLATION_INST_FETCH) {
32569e0a03cSPaolo Bonzini         return false;
32669e0a03cSPaolo Bonzini     }
32769e0a03cSPaolo Bonzini 
32869e0a03cSPaolo Bonzini     /* EPT fault must be a read fault or a write fault */
32969e0a03cSPaolo Bonzini     read = ept_qual & EPT_VIOLATION_DATA_READ ? 1 : 0;
33069e0a03cSPaolo Bonzini     write = ept_qual & EPT_VIOLATION_DATA_WRITE ? 1 : 0;
33169e0a03cSPaolo Bonzini     if ((read | write) == 0) {
33269e0a03cSPaolo Bonzini         return false;
33369e0a03cSPaolo Bonzini     }
33469e0a03cSPaolo Bonzini 
33569e0a03cSPaolo Bonzini     if (write && slot) {
33669e0a03cSPaolo Bonzini         if (slot->flags & HVF_SLOT_LOG) {
33769e0a03cSPaolo Bonzini             memory_region_set_dirty(slot->region, gpa - slot->start, 1);
33869e0a03cSPaolo Bonzini             hv_vm_protect((hv_gpaddr_t)slot->start, (size_t)slot->size,
33969e0a03cSPaolo Bonzini                           HV_MEMORY_READ | HV_MEMORY_WRITE);
34069e0a03cSPaolo Bonzini         }
34169e0a03cSPaolo Bonzini     }
34269e0a03cSPaolo Bonzini 
34369e0a03cSPaolo Bonzini     /*
34469e0a03cSPaolo Bonzini      * The EPT violation must have been caused by accessing a
34569e0a03cSPaolo Bonzini      * guest-physical address that is a translation of a guest-linear
34669e0a03cSPaolo Bonzini      * address.
34769e0a03cSPaolo Bonzini      */
34869e0a03cSPaolo Bonzini     if ((ept_qual & EPT_VIOLATION_GLA_VALID) == 0 ||
34969e0a03cSPaolo Bonzini         (ept_qual & EPT_VIOLATION_XLAT_VALID) == 0) {
35069e0a03cSPaolo Bonzini         return false;
35169e0a03cSPaolo Bonzini     }
35269e0a03cSPaolo Bonzini 
35369e0a03cSPaolo Bonzini     return !slot;
35469e0a03cSPaolo Bonzini }
35569e0a03cSPaolo Bonzini 
35669e0a03cSPaolo Bonzini static void hvf_set_dirty_tracking(MemoryRegionSection *section, bool on)
35769e0a03cSPaolo Bonzini {
35869e0a03cSPaolo Bonzini     hvf_slot *slot;
35969e0a03cSPaolo Bonzini 
36069e0a03cSPaolo Bonzini     slot = hvf_find_overlap_slot(
36169e0a03cSPaolo Bonzini             section->offset_within_address_space,
36269e0a03cSPaolo Bonzini             section->offset_within_address_space + int128_get64(section->size));
36369e0a03cSPaolo Bonzini 
36469e0a03cSPaolo Bonzini     /* protect region against writes; begin tracking it */
36569e0a03cSPaolo Bonzini     if (on) {
36669e0a03cSPaolo Bonzini         slot->flags |= HVF_SLOT_LOG;
36769e0a03cSPaolo Bonzini         hv_vm_protect((hv_gpaddr_t)slot->start, (size_t)slot->size,
36869e0a03cSPaolo Bonzini                       HV_MEMORY_READ);
36969e0a03cSPaolo Bonzini     /* stop tracking region*/
37069e0a03cSPaolo Bonzini     } else {
37169e0a03cSPaolo Bonzini         slot->flags &= ~HVF_SLOT_LOG;
37269e0a03cSPaolo Bonzini         hv_vm_protect((hv_gpaddr_t)slot->start, (size_t)slot->size,
37369e0a03cSPaolo Bonzini                       HV_MEMORY_READ | HV_MEMORY_WRITE);
37469e0a03cSPaolo Bonzini     }
37569e0a03cSPaolo Bonzini }
37669e0a03cSPaolo Bonzini 
37769e0a03cSPaolo Bonzini static void hvf_log_start(MemoryListener *listener,
37869e0a03cSPaolo Bonzini                           MemoryRegionSection *section, int old, int new)
37969e0a03cSPaolo Bonzini {
38069e0a03cSPaolo Bonzini     if (old != 0) {
38169e0a03cSPaolo Bonzini         return;
38269e0a03cSPaolo Bonzini     }
38369e0a03cSPaolo Bonzini 
38469e0a03cSPaolo Bonzini     hvf_set_dirty_tracking(section, 1);
38569e0a03cSPaolo Bonzini }
38669e0a03cSPaolo Bonzini 
38769e0a03cSPaolo Bonzini static void hvf_log_stop(MemoryListener *listener,
38869e0a03cSPaolo Bonzini                          MemoryRegionSection *section, int old, int new)
38969e0a03cSPaolo Bonzini {
39069e0a03cSPaolo Bonzini     if (new != 0) {
39169e0a03cSPaolo Bonzini         return;
39269e0a03cSPaolo Bonzini     }
39369e0a03cSPaolo Bonzini 
39469e0a03cSPaolo Bonzini     hvf_set_dirty_tracking(section, 0);
39569e0a03cSPaolo Bonzini }
39669e0a03cSPaolo Bonzini 
39769e0a03cSPaolo Bonzini static void hvf_log_sync(MemoryListener *listener,
39869e0a03cSPaolo Bonzini                          MemoryRegionSection *section)
39969e0a03cSPaolo Bonzini {
40069e0a03cSPaolo Bonzini     /*
40169e0a03cSPaolo Bonzini      * sync of dirty pages is handled elsewhere; just make sure we keep
40269e0a03cSPaolo Bonzini      * tracking the region.
40369e0a03cSPaolo Bonzini      */
40469e0a03cSPaolo Bonzini     hvf_set_dirty_tracking(section, 1);
40569e0a03cSPaolo Bonzini }
40669e0a03cSPaolo Bonzini 
40769e0a03cSPaolo Bonzini static void hvf_region_add(MemoryListener *listener,
40869e0a03cSPaolo Bonzini                            MemoryRegionSection *section)
40969e0a03cSPaolo Bonzini {
41069e0a03cSPaolo Bonzini     hvf_set_phys_mem(section, true);
41169e0a03cSPaolo Bonzini }
41269e0a03cSPaolo Bonzini 
41369e0a03cSPaolo Bonzini static void hvf_region_del(MemoryListener *listener,
41469e0a03cSPaolo Bonzini                            MemoryRegionSection *section)
41569e0a03cSPaolo Bonzini {
41669e0a03cSPaolo Bonzini     hvf_set_phys_mem(section, false);
41769e0a03cSPaolo Bonzini }
41869e0a03cSPaolo Bonzini 
41969e0a03cSPaolo Bonzini static MemoryListener hvf_memory_listener = {
42069e0a03cSPaolo Bonzini     .priority = 10,
42169e0a03cSPaolo Bonzini     .region_add = hvf_region_add,
42269e0a03cSPaolo Bonzini     .region_del = hvf_region_del,
42369e0a03cSPaolo Bonzini     .log_start = hvf_log_start,
42469e0a03cSPaolo Bonzini     .log_stop = hvf_log_stop,
42569e0a03cSPaolo Bonzini     .log_sync = hvf_log_sync,
42669e0a03cSPaolo Bonzini };
42769e0a03cSPaolo Bonzini 
42869e0a03cSPaolo Bonzini void hvf_reset_vcpu(CPUState *cpu) {
42969e0a03cSPaolo Bonzini 
43069e0a03cSPaolo Bonzini     /* TODO: this shouldn't be needed; there is already a call to
43169e0a03cSPaolo Bonzini      * cpu_synchronize_all_post_reset in vl.c
43269e0a03cSPaolo Bonzini      */
43369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_ENTRY_CTLS, 0);
43469e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_IA32_EFER, 0);
43569e0a03cSPaolo Bonzini     macvm_set_cr0(cpu->hvf_fd, 0x60000010);
43669e0a03cSPaolo Bonzini 
43769e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_CR4_MASK, CR4_VMXE_MASK);
43869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_CR4_SHADOW, 0x0);
43969e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_CR4, CR4_VMXE_MASK);
44069e0a03cSPaolo Bonzini 
44169e0a03cSPaolo Bonzini     /* set VMCS guest state fields */
44269e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_CS_SELECTOR, 0xf000);
44369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_CS_LIMIT, 0xffff);
44469e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_CS_ACCESS_RIGHTS, 0x9b);
44569e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_CS_BASE, 0xffff0000);
44669e0a03cSPaolo Bonzini 
44769e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_DS_SELECTOR, 0);
44869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_DS_LIMIT, 0xffff);
44969e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_DS_ACCESS_RIGHTS, 0x93);
45069e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_DS_BASE, 0);
45169e0a03cSPaolo Bonzini 
45269e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_ES_SELECTOR, 0);
45369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_ES_LIMIT, 0xffff);
45469e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_ES_ACCESS_RIGHTS, 0x93);
45569e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_ES_BASE, 0);
45669e0a03cSPaolo Bonzini 
45769e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_FS_SELECTOR, 0);
45869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_FS_LIMIT, 0xffff);
45969e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_FS_ACCESS_RIGHTS, 0x93);
46069e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_FS_BASE, 0);
46169e0a03cSPaolo Bonzini 
46269e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_GS_SELECTOR, 0);
46369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_GS_LIMIT, 0xffff);
46469e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_GS_ACCESS_RIGHTS, 0x93);
46569e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_GS_BASE, 0);
46669e0a03cSPaolo Bonzini 
46769e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_SS_SELECTOR, 0);
46869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_SS_LIMIT, 0xffff);
46969e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_SS_ACCESS_RIGHTS, 0x93);
47069e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_SS_BASE, 0);
47169e0a03cSPaolo Bonzini 
47269e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_LDTR_SELECTOR, 0);
47369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_LDTR_LIMIT, 0);
47469e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_LDTR_ACCESS_RIGHTS, 0x10000);
47569e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_LDTR_BASE, 0);
47669e0a03cSPaolo Bonzini 
47769e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_TR_SELECTOR, 0);
47869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_TR_LIMIT, 0);
47969e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_TR_ACCESS_RIGHTS, 0x83);
48069e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_TR_BASE, 0);
48169e0a03cSPaolo Bonzini 
48269e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_GDTR_LIMIT, 0);
48369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_GDTR_BASE, 0);
48469e0a03cSPaolo Bonzini 
48569e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_IDTR_LIMIT, 0);
48669e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_IDTR_BASE, 0);
48769e0a03cSPaolo Bonzini 
48869e0a03cSPaolo Bonzini     /*wvmcs(cpu->hvf_fd, VMCS_GUEST_CR2, 0x0);*/
48969e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_GUEST_CR3, 0x0);
49069e0a03cSPaolo Bonzini 
49169e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RIP, 0xfff0);
49269e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RDX, 0x623);
49369e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RFLAGS, 0x2);
49469e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RSP, 0x0);
49569e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RAX, 0x0);
49669e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RBX, 0x0);
49769e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RCX, 0x0);
49869e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RSI, 0x0);
49969e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RDI, 0x0);
50069e0a03cSPaolo Bonzini     wreg(cpu->hvf_fd, HV_X86_RBP, 0x0);
50169e0a03cSPaolo Bonzini 
50269e0a03cSPaolo Bonzini     for (int i = 0; i < 8; i++) {
50369e0a03cSPaolo Bonzini         wreg(cpu->hvf_fd, HV_X86_R8 + i, 0x0);
50469e0a03cSPaolo Bonzini     }
50569e0a03cSPaolo Bonzini 
50669e0a03cSPaolo Bonzini     hv_vm_sync_tsc(0);
50769e0a03cSPaolo Bonzini     cpu->halted = 0;
50869e0a03cSPaolo Bonzini     hv_vcpu_invalidate_tlb(cpu->hvf_fd);
50969e0a03cSPaolo Bonzini     hv_vcpu_flush(cpu->hvf_fd);
51069e0a03cSPaolo Bonzini }
51169e0a03cSPaolo Bonzini 
51269e0a03cSPaolo Bonzini void hvf_vcpu_destroy(CPUState *cpu)
51369e0a03cSPaolo Bonzini {
51469e0a03cSPaolo Bonzini     hv_return_t ret = hv_vcpu_destroy((hv_vcpuid_t)cpu->hvf_fd);
51569e0a03cSPaolo Bonzini     assert_hvf_ok(ret);
51669e0a03cSPaolo Bonzini }
51769e0a03cSPaolo Bonzini 
51869e0a03cSPaolo Bonzini static void dummy_signal(int sig)
51969e0a03cSPaolo Bonzini {
52069e0a03cSPaolo Bonzini }
52169e0a03cSPaolo Bonzini 
52269e0a03cSPaolo Bonzini int hvf_init_vcpu(CPUState *cpu)
52369e0a03cSPaolo Bonzini {
52469e0a03cSPaolo Bonzini 
52569e0a03cSPaolo Bonzini     X86CPU *x86cpu = X86_CPU(cpu);
52669e0a03cSPaolo Bonzini     CPUX86State *env = &x86cpu->env;
52769e0a03cSPaolo Bonzini     int r;
52869e0a03cSPaolo Bonzini 
52969e0a03cSPaolo Bonzini     /* init cpu signals */
53069e0a03cSPaolo Bonzini     sigset_t set;
53169e0a03cSPaolo Bonzini     struct sigaction sigact;
53269e0a03cSPaolo Bonzini 
53369e0a03cSPaolo Bonzini     memset(&sigact, 0, sizeof(sigact));
53469e0a03cSPaolo Bonzini     sigact.sa_handler = dummy_signal;
53569e0a03cSPaolo Bonzini     sigaction(SIG_IPI, &sigact, NULL);
53669e0a03cSPaolo Bonzini 
53769e0a03cSPaolo Bonzini     pthread_sigmask(SIG_BLOCK, NULL, &set);
53869e0a03cSPaolo Bonzini     sigdelset(&set, SIG_IPI);
53969e0a03cSPaolo Bonzini 
54069e0a03cSPaolo Bonzini     init_emu();
54169e0a03cSPaolo Bonzini     init_decoder();
54269e0a03cSPaolo Bonzini 
54369e0a03cSPaolo Bonzini     hvf_state->hvf_caps = g_new0(struct hvf_vcpu_caps, 1);
54469e0a03cSPaolo Bonzini     env->hvf_emul = g_new0(HVFX86EmulatorState, 1);
54569e0a03cSPaolo Bonzini 
54669e0a03cSPaolo Bonzini     r = hv_vcpu_create((hv_vcpuid_t *)&cpu->hvf_fd, HV_VCPU_DEFAULT);
54769e0a03cSPaolo Bonzini     cpu->vcpu_dirty = 1;
54869e0a03cSPaolo Bonzini     assert_hvf_ok(r);
54969e0a03cSPaolo Bonzini 
55069e0a03cSPaolo Bonzini     if (hv_vmx_read_capability(HV_VMX_CAP_PINBASED,
55169e0a03cSPaolo Bonzini         &hvf_state->hvf_caps->vmx_cap_pinbased)) {
55269e0a03cSPaolo Bonzini         abort();
55369e0a03cSPaolo Bonzini     }
55469e0a03cSPaolo Bonzini     if (hv_vmx_read_capability(HV_VMX_CAP_PROCBASED,
55569e0a03cSPaolo Bonzini         &hvf_state->hvf_caps->vmx_cap_procbased)) {
55669e0a03cSPaolo Bonzini         abort();
55769e0a03cSPaolo Bonzini     }
55869e0a03cSPaolo Bonzini     if (hv_vmx_read_capability(HV_VMX_CAP_PROCBASED2,
55969e0a03cSPaolo Bonzini         &hvf_state->hvf_caps->vmx_cap_procbased2)) {
56069e0a03cSPaolo Bonzini         abort();
56169e0a03cSPaolo Bonzini     }
56269e0a03cSPaolo Bonzini     if (hv_vmx_read_capability(HV_VMX_CAP_ENTRY,
56369e0a03cSPaolo Bonzini         &hvf_state->hvf_caps->vmx_cap_entry)) {
56469e0a03cSPaolo Bonzini         abort();
56569e0a03cSPaolo Bonzini     }
56669e0a03cSPaolo Bonzini 
56769e0a03cSPaolo Bonzini     /* set VMCS control fields */
56869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_PIN_BASED_CTLS,
56969e0a03cSPaolo Bonzini           cap2ctrl(hvf_state->hvf_caps->vmx_cap_pinbased,
57069e0a03cSPaolo Bonzini           VMCS_PIN_BASED_CTLS_EXTINT |
57169e0a03cSPaolo Bonzini           VMCS_PIN_BASED_CTLS_NMI |
57269e0a03cSPaolo Bonzini           VMCS_PIN_BASED_CTLS_VNMI));
57369e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_PRI_PROC_BASED_CTLS,
57469e0a03cSPaolo Bonzini           cap2ctrl(hvf_state->hvf_caps->vmx_cap_procbased,
57569e0a03cSPaolo Bonzini           VMCS_PRI_PROC_BASED_CTLS_HLT |
57669e0a03cSPaolo Bonzini           VMCS_PRI_PROC_BASED_CTLS_MWAIT |
57769e0a03cSPaolo Bonzini           VMCS_PRI_PROC_BASED_CTLS_TSC_OFFSET |
57869e0a03cSPaolo Bonzini           VMCS_PRI_PROC_BASED_CTLS_TPR_SHADOW) |
57969e0a03cSPaolo Bonzini           VMCS_PRI_PROC_BASED_CTLS_SEC_CONTROL);
58069e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_SEC_PROC_BASED_CTLS,
58169e0a03cSPaolo Bonzini           cap2ctrl(hvf_state->hvf_caps->vmx_cap_procbased2,
58269e0a03cSPaolo Bonzini                    VMCS_PRI_PROC_BASED2_CTLS_APIC_ACCESSES));
58369e0a03cSPaolo Bonzini 
58469e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_ENTRY_CTLS, cap2ctrl(hvf_state->hvf_caps->vmx_cap_entry,
58569e0a03cSPaolo Bonzini           0));
58669e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_EXCEPTION_BITMAP, 0); /* Double fault */
58769e0a03cSPaolo Bonzini 
58869e0a03cSPaolo Bonzini     wvmcs(cpu->hvf_fd, VMCS_TPR_THRESHOLD, 0);
58969e0a03cSPaolo Bonzini 
59069e0a03cSPaolo Bonzini     hvf_reset_vcpu(cpu);
59169e0a03cSPaolo Bonzini 
59269e0a03cSPaolo Bonzini     x86cpu = X86_CPU(cpu);
59369e0a03cSPaolo Bonzini     x86cpu->env.kvm_xsave_buf = qemu_memalign(4096, 4096);
59469e0a03cSPaolo Bonzini 
59569e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_STAR, 1);
59669e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_LSTAR, 1);
59769e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_CSTAR, 1);
59869e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_FMASK, 1);
59969e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_FSBASE, 1);
60069e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_GSBASE, 1);
60169e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_KERNELGSBASE, 1);
60269e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_TSC_AUX, 1);
60369e0a03cSPaolo Bonzini     /*hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_IA32_TSC, 1);*/
60469e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_IA32_SYSENTER_CS, 1);
60569e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_IA32_SYSENTER_EIP, 1);
60669e0a03cSPaolo Bonzini     hv_vcpu_enable_native_msr(cpu->hvf_fd, MSR_IA32_SYSENTER_ESP, 1);
60769e0a03cSPaolo Bonzini 
60869e0a03cSPaolo Bonzini     return 0;
60969e0a03cSPaolo Bonzini }
61069e0a03cSPaolo Bonzini 
61169e0a03cSPaolo Bonzini void hvf_disable(int shouldDisable)
61269e0a03cSPaolo Bonzini {
61369e0a03cSPaolo Bonzini     hvf_disabled = shouldDisable;
61469e0a03cSPaolo Bonzini }
61569e0a03cSPaolo Bonzini 
61669e0a03cSPaolo Bonzini static void hvf_store_events(CPUState *cpu, uint32_t ins_len, uint64_t idtvec_info)
61769e0a03cSPaolo Bonzini {
61869e0a03cSPaolo Bonzini     X86CPU *x86_cpu = X86_CPU(cpu);
61969e0a03cSPaolo Bonzini     CPUX86State *env = &x86_cpu->env;
62069e0a03cSPaolo Bonzini 
62169e0a03cSPaolo Bonzini     env->exception_injected = -1;
62269e0a03cSPaolo Bonzini     env->interrupt_injected = -1;
62369e0a03cSPaolo Bonzini     env->nmi_injected = false;
62469e0a03cSPaolo Bonzini     if (idtvec_info & VMCS_IDT_VEC_VALID) {
62569e0a03cSPaolo Bonzini         switch (idtvec_info & VMCS_IDT_VEC_TYPE) {
62669e0a03cSPaolo Bonzini         case VMCS_IDT_VEC_HWINTR:
62769e0a03cSPaolo Bonzini         case VMCS_IDT_VEC_SWINTR:
62869e0a03cSPaolo Bonzini             env->interrupt_injected = idtvec_info & VMCS_IDT_VEC_VECNUM;
62969e0a03cSPaolo Bonzini             break;
63069e0a03cSPaolo Bonzini         case VMCS_IDT_VEC_NMI:
63169e0a03cSPaolo Bonzini             env->nmi_injected = true;
63269e0a03cSPaolo Bonzini             break;
63369e0a03cSPaolo Bonzini         case VMCS_IDT_VEC_HWEXCEPTION:
63469e0a03cSPaolo Bonzini         case VMCS_IDT_VEC_SWEXCEPTION:
63569e0a03cSPaolo Bonzini             env->exception_injected = idtvec_info & VMCS_IDT_VEC_VECNUM;
63669e0a03cSPaolo Bonzini             break;
63769e0a03cSPaolo Bonzini         case VMCS_IDT_VEC_PRIV_SWEXCEPTION:
63869e0a03cSPaolo Bonzini         default:
63969e0a03cSPaolo Bonzini             abort();
64069e0a03cSPaolo Bonzini         }
64169e0a03cSPaolo Bonzini         if ((idtvec_info & VMCS_IDT_VEC_TYPE) == VMCS_IDT_VEC_SWEXCEPTION ||
64269e0a03cSPaolo Bonzini             (idtvec_info & VMCS_IDT_VEC_TYPE) == VMCS_IDT_VEC_SWINTR) {
64369e0a03cSPaolo Bonzini             env->ins_len = ins_len;
64469e0a03cSPaolo Bonzini         }
64569e0a03cSPaolo Bonzini         if (idtvec_info & VMCS_INTR_DEL_ERRCODE) {
64669e0a03cSPaolo Bonzini             env->has_error_code = true;
64769e0a03cSPaolo Bonzini             env->error_code = rvmcs(cpu->hvf_fd, VMCS_IDT_VECTORING_ERROR);
64869e0a03cSPaolo Bonzini         }
64969e0a03cSPaolo Bonzini     }
65069e0a03cSPaolo Bonzini     if ((rvmcs(cpu->hvf_fd, VMCS_GUEST_INTERRUPTIBILITY) &
65169e0a03cSPaolo Bonzini         VMCS_INTERRUPTIBILITY_NMI_BLOCKING)) {
65269e0a03cSPaolo Bonzini         env->hflags2 |= HF2_NMI_MASK;
65369e0a03cSPaolo Bonzini     } else {
65469e0a03cSPaolo Bonzini         env->hflags2 &= ~HF2_NMI_MASK;
65569e0a03cSPaolo Bonzini     }
65669e0a03cSPaolo Bonzini     if (rvmcs(cpu->hvf_fd, VMCS_GUEST_INTERRUPTIBILITY) &
65769e0a03cSPaolo Bonzini          (VMCS_INTERRUPTIBILITY_STI_BLOCKING |
65869e0a03cSPaolo Bonzini          VMCS_INTERRUPTIBILITY_MOVSS_BLOCKING)) {
65969e0a03cSPaolo Bonzini         env->hflags |= HF_INHIBIT_IRQ_MASK;
66069e0a03cSPaolo Bonzini     } else {
66169e0a03cSPaolo Bonzini         env->hflags &= ~HF_INHIBIT_IRQ_MASK;
66269e0a03cSPaolo Bonzini     }
66369e0a03cSPaolo Bonzini }
66469e0a03cSPaolo Bonzini 
66569e0a03cSPaolo Bonzini int hvf_vcpu_exec(CPUState *cpu)
66669e0a03cSPaolo Bonzini {
66769e0a03cSPaolo Bonzini     X86CPU *x86_cpu = X86_CPU(cpu);
66869e0a03cSPaolo Bonzini     CPUX86State *env = &x86_cpu->env;
66969e0a03cSPaolo Bonzini     int ret = 0;
67069e0a03cSPaolo Bonzini     uint64_t rip = 0;
67169e0a03cSPaolo Bonzini 
67269e0a03cSPaolo Bonzini     cpu->halted = 0;
67369e0a03cSPaolo Bonzini 
67469e0a03cSPaolo Bonzini     if (hvf_process_events(cpu)) {
67569e0a03cSPaolo Bonzini         return EXCP_HLT;
67669e0a03cSPaolo Bonzini     }
67769e0a03cSPaolo Bonzini 
67869e0a03cSPaolo Bonzini     do {
67969e0a03cSPaolo Bonzini         if (cpu->vcpu_dirty) {
68069e0a03cSPaolo Bonzini             hvf_put_registers(cpu);
68169e0a03cSPaolo Bonzini             cpu->vcpu_dirty = false;
68269e0a03cSPaolo Bonzini         }
68369e0a03cSPaolo Bonzini 
68469e0a03cSPaolo Bonzini         if (hvf_inject_interrupts(cpu)) {
68569e0a03cSPaolo Bonzini             return EXCP_INTERRUPT;
68669e0a03cSPaolo Bonzini         }
68769e0a03cSPaolo Bonzini         vmx_update_tpr(cpu);
68869e0a03cSPaolo Bonzini 
68969e0a03cSPaolo Bonzini         qemu_mutex_unlock_iothread();
69069e0a03cSPaolo Bonzini         if (!cpu_is_bsp(X86_CPU(cpu)) && cpu->halted) {
69169e0a03cSPaolo Bonzini             qemu_mutex_lock_iothread();
69269e0a03cSPaolo Bonzini             return EXCP_HLT;
69369e0a03cSPaolo Bonzini         }
69469e0a03cSPaolo Bonzini 
69569e0a03cSPaolo Bonzini         hv_return_t r  = hv_vcpu_run(cpu->hvf_fd);
69669e0a03cSPaolo Bonzini         assert_hvf_ok(r);
69769e0a03cSPaolo Bonzini 
69869e0a03cSPaolo Bonzini         /* handle VMEXIT */
69969e0a03cSPaolo Bonzini         uint64_t exit_reason = rvmcs(cpu->hvf_fd, VMCS_EXIT_REASON);
70069e0a03cSPaolo Bonzini         uint64_t exit_qual = rvmcs(cpu->hvf_fd, VMCS_EXIT_QUALIFICATION);
70169e0a03cSPaolo Bonzini         uint32_t ins_len = (uint32_t)rvmcs(cpu->hvf_fd,
70269e0a03cSPaolo Bonzini                                            VMCS_EXIT_INSTRUCTION_LENGTH);
70369e0a03cSPaolo Bonzini 
70469e0a03cSPaolo Bonzini         uint64_t idtvec_info = rvmcs(cpu->hvf_fd, VMCS_IDT_VECTORING_INFO);
70569e0a03cSPaolo Bonzini 
70669e0a03cSPaolo Bonzini         hvf_store_events(cpu, ins_len, idtvec_info);
70769e0a03cSPaolo Bonzini         rip = rreg(cpu->hvf_fd, HV_X86_RIP);
70869e0a03cSPaolo Bonzini         RFLAGS(env) = rreg(cpu->hvf_fd, HV_X86_RFLAGS);
70969e0a03cSPaolo Bonzini         env->eflags = RFLAGS(env);
71069e0a03cSPaolo Bonzini 
71169e0a03cSPaolo Bonzini         qemu_mutex_lock_iothread();
71269e0a03cSPaolo Bonzini 
71369e0a03cSPaolo Bonzini         update_apic_tpr(cpu);
71469e0a03cSPaolo Bonzini         current_cpu = cpu;
71569e0a03cSPaolo Bonzini 
71669e0a03cSPaolo Bonzini         ret = 0;
71769e0a03cSPaolo Bonzini         switch (exit_reason) {
71869e0a03cSPaolo Bonzini         case EXIT_REASON_HLT: {
71969e0a03cSPaolo Bonzini             macvm_set_rip(cpu, rip + ins_len);
72069e0a03cSPaolo Bonzini             if (!((cpu->interrupt_request & CPU_INTERRUPT_HARD) &&
72169e0a03cSPaolo Bonzini                 (EFLAGS(env) & IF_MASK))
72269e0a03cSPaolo Bonzini                 && !(cpu->interrupt_request & CPU_INTERRUPT_NMI) &&
72369e0a03cSPaolo Bonzini                 !(idtvec_info & VMCS_IDT_VEC_VALID)) {
72469e0a03cSPaolo Bonzini                 cpu->halted = 1;
72569e0a03cSPaolo Bonzini                 ret = EXCP_HLT;
72669e0a03cSPaolo Bonzini             }
72769e0a03cSPaolo Bonzini             ret = EXCP_INTERRUPT;
72869e0a03cSPaolo Bonzini             break;
72969e0a03cSPaolo Bonzini         }
73069e0a03cSPaolo Bonzini         case EXIT_REASON_MWAIT: {
73169e0a03cSPaolo Bonzini             ret = EXCP_INTERRUPT;
73269e0a03cSPaolo Bonzini             break;
73369e0a03cSPaolo Bonzini         }
73469e0a03cSPaolo Bonzini             /* Need to check if MMIO or unmmaped fault */
73569e0a03cSPaolo Bonzini         case EXIT_REASON_EPT_FAULT:
73669e0a03cSPaolo Bonzini         {
73769e0a03cSPaolo Bonzini             hvf_slot *slot;
738ff2de166SPaolo Bonzini             uint64_t gpa = rvmcs(cpu->hvf_fd, VMCS_GUEST_PHYSICAL_ADDRESS);
73969e0a03cSPaolo Bonzini 
74069e0a03cSPaolo Bonzini             if (((idtvec_info & VMCS_IDT_VEC_VALID) == 0) &&
74169e0a03cSPaolo Bonzini                 ((exit_qual & EXIT_QUAL_NMIUDTI) != 0)) {
74269e0a03cSPaolo Bonzini                 vmx_set_nmi_blocking(cpu);
74369e0a03cSPaolo Bonzini             }
74469e0a03cSPaolo Bonzini 
74569e0a03cSPaolo Bonzini             slot = hvf_find_overlap_slot(gpa, gpa);
74669e0a03cSPaolo Bonzini             /* mmio */
74769e0a03cSPaolo Bonzini             if (ept_emulation_fault(slot, gpa, exit_qual)) {
74869e0a03cSPaolo Bonzini                 struct x86_decode decode;
74969e0a03cSPaolo Bonzini 
75069e0a03cSPaolo Bonzini                 load_regs(cpu);
75169e0a03cSPaolo Bonzini                 env->hvf_emul->fetch_rip = rip;
75269e0a03cSPaolo Bonzini 
75369e0a03cSPaolo Bonzini                 decode_instruction(env, &decode);
75469e0a03cSPaolo Bonzini                 exec_instruction(env, &decode);
75569e0a03cSPaolo Bonzini                 store_regs(cpu);
75669e0a03cSPaolo Bonzini                 break;
75769e0a03cSPaolo Bonzini             }
75869e0a03cSPaolo Bonzini             break;
75969e0a03cSPaolo Bonzini         }
76069e0a03cSPaolo Bonzini         case EXIT_REASON_INOUT:
76169e0a03cSPaolo Bonzini         {
76269e0a03cSPaolo Bonzini             uint32_t in = (exit_qual & 8) != 0;
76369e0a03cSPaolo Bonzini             uint32_t size =  (exit_qual & 7) + 1;
76469e0a03cSPaolo Bonzini             uint32_t string =  (exit_qual & 16) != 0;
76569e0a03cSPaolo Bonzini             uint32_t port =  exit_qual >> 16;
76669e0a03cSPaolo Bonzini             /*uint32_t rep = (exit_qual & 0x20) != 0;*/
76769e0a03cSPaolo Bonzini 
76869e0a03cSPaolo Bonzini             if (!string && in) {
76969e0a03cSPaolo Bonzini                 uint64_t val = 0;
77069e0a03cSPaolo Bonzini                 load_regs(cpu);
77169e0a03cSPaolo Bonzini                 hvf_handle_io(env, port, &val, 0, size, 1);
77269e0a03cSPaolo Bonzini                 if (size == 1) {
77369e0a03cSPaolo Bonzini                     AL(env) = val;
77469e0a03cSPaolo Bonzini                 } else if (size == 2) {
77569e0a03cSPaolo Bonzini                     AX(env) = val;
77669e0a03cSPaolo Bonzini                 } else if (size == 4) {
77769e0a03cSPaolo Bonzini                     RAX(env) = (uint32_t)val;
77869e0a03cSPaolo Bonzini                 } else {
779da20f5cdSPaolo Bonzini                     RAX(env) = (uint64_t)val;
78069e0a03cSPaolo Bonzini                 }
78169e0a03cSPaolo Bonzini                 RIP(env) += ins_len;
78269e0a03cSPaolo Bonzini                 store_regs(cpu);
78369e0a03cSPaolo Bonzini                 break;
78469e0a03cSPaolo Bonzini             } else if (!string && !in) {
78569e0a03cSPaolo Bonzini                 RAX(env) = rreg(cpu->hvf_fd, HV_X86_RAX);
78669e0a03cSPaolo Bonzini                 hvf_handle_io(env, port, &RAX(env), 1, size, 1);
78769e0a03cSPaolo Bonzini                 macvm_set_rip(cpu, rip + ins_len);
78869e0a03cSPaolo Bonzini                 break;
78969e0a03cSPaolo Bonzini             }
79069e0a03cSPaolo Bonzini             struct x86_decode decode;
79169e0a03cSPaolo Bonzini 
79269e0a03cSPaolo Bonzini             load_regs(cpu);
79369e0a03cSPaolo Bonzini             env->hvf_emul->fetch_rip = rip;
79469e0a03cSPaolo Bonzini 
79569e0a03cSPaolo Bonzini             decode_instruction(env, &decode);
796e62963bfSPaolo Bonzini             assert(ins_len == decode.len);
79769e0a03cSPaolo Bonzini             exec_instruction(env, &decode);
79869e0a03cSPaolo Bonzini             store_regs(cpu);
79969e0a03cSPaolo Bonzini 
80069e0a03cSPaolo Bonzini             break;
80169e0a03cSPaolo Bonzini         }
80269e0a03cSPaolo Bonzini         case EXIT_REASON_CPUID: {
80369e0a03cSPaolo Bonzini             uint32_t rax = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RAX);
80469e0a03cSPaolo Bonzini             uint32_t rbx = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RBX);
80569e0a03cSPaolo Bonzini             uint32_t rcx = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RCX);
80669e0a03cSPaolo Bonzini             uint32_t rdx = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RDX);
80769e0a03cSPaolo Bonzini 
80869e0a03cSPaolo Bonzini             cpu_x86_cpuid(env, rax, rcx, &rax, &rbx, &rcx, &rdx);
80969e0a03cSPaolo Bonzini 
81069e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_RAX, rax);
81169e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_RBX, rbx);
81269e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_RCX, rcx);
81369e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_RDX, rdx);
81469e0a03cSPaolo Bonzini 
81569e0a03cSPaolo Bonzini             macvm_set_rip(cpu, rip + ins_len);
81669e0a03cSPaolo Bonzini             break;
81769e0a03cSPaolo Bonzini         }
81869e0a03cSPaolo Bonzini         case EXIT_REASON_XSETBV: {
81969e0a03cSPaolo Bonzini             X86CPU *x86_cpu = X86_CPU(cpu);
82069e0a03cSPaolo Bonzini             CPUX86State *env = &x86_cpu->env;
82169e0a03cSPaolo Bonzini             uint32_t eax = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RAX);
82269e0a03cSPaolo Bonzini             uint32_t ecx = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RCX);
82369e0a03cSPaolo Bonzini             uint32_t edx = (uint32_t)rreg(cpu->hvf_fd, HV_X86_RDX);
82469e0a03cSPaolo Bonzini 
82569e0a03cSPaolo Bonzini             if (ecx) {
82669e0a03cSPaolo Bonzini                 macvm_set_rip(cpu, rip + ins_len);
82769e0a03cSPaolo Bonzini                 break;
82869e0a03cSPaolo Bonzini             }
82969e0a03cSPaolo Bonzini             env->xcr0 = ((uint64_t)edx << 32) | eax;
83069e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_XCR0, env->xcr0 | 1);
83169e0a03cSPaolo Bonzini             macvm_set_rip(cpu, rip + ins_len);
83269e0a03cSPaolo Bonzini             break;
83369e0a03cSPaolo Bonzini         }
83469e0a03cSPaolo Bonzini         case EXIT_REASON_INTR_WINDOW:
83569e0a03cSPaolo Bonzini             vmx_clear_int_window_exiting(cpu);
83669e0a03cSPaolo Bonzini             ret = EXCP_INTERRUPT;
83769e0a03cSPaolo Bonzini             break;
83869e0a03cSPaolo Bonzini         case EXIT_REASON_NMI_WINDOW:
83969e0a03cSPaolo Bonzini             vmx_clear_nmi_window_exiting(cpu);
84069e0a03cSPaolo Bonzini             ret = EXCP_INTERRUPT;
84169e0a03cSPaolo Bonzini             break;
84269e0a03cSPaolo Bonzini         case EXIT_REASON_EXT_INTR:
84369e0a03cSPaolo Bonzini             /* force exit and allow io handling */
84469e0a03cSPaolo Bonzini             ret = EXCP_INTERRUPT;
84569e0a03cSPaolo Bonzini             break;
84669e0a03cSPaolo Bonzini         case EXIT_REASON_RDMSR:
84769e0a03cSPaolo Bonzini         case EXIT_REASON_WRMSR:
84869e0a03cSPaolo Bonzini         {
84969e0a03cSPaolo Bonzini             load_regs(cpu);
85069e0a03cSPaolo Bonzini             if (exit_reason == EXIT_REASON_RDMSR) {
85169e0a03cSPaolo Bonzini                 simulate_rdmsr(cpu);
85269e0a03cSPaolo Bonzini             } else {
85369e0a03cSPaolo Bonzini                 simulate_wrmsr(cpu);
85469e0a03cSPaolo Bonzini             }
85569e0a03cSPaolo Bonzini             RIP(env) += rvmcs(cpu->hvf_fd, VMCS_EXIT_INSTRUCTION_LENGTH);
85669e0a03cSPaolo Bonzini             store_regs(cpu);
85769e0a03cSPaolo Bonzini             break;
85869e0a03cSPaolo Bonzini         }
85969e0a03cSPaolo Bonzini         case EXIT_REASON_CR_ACCESS: {
86069e0a03cSPaolo Bonzini             int cr;
86169e0a03cSPaolo Bonzini             int reg;
86269e0a03cSPaolo Bonzini 
86369e0a03cSPaolo Bonzini             load_regs(cpu);
86469e0a03cSPaolo Bonzini             cr = exit_qual & 15;
86569e0a03cSPaolo Bonzini             reg = (exit_qual >> 8) & 15;
86669e0a03cSPaolo Bonzini 
86769e0a03cSPaolo Bonzini             switch (cr) {
86869e0a03cSPaolo Bonzini             case 0x0: {
86969e0a03cSPaolo Bonzini                 macvm_set_cr0(cpu->hvf_fd, RRX(env, reg));
87069e0a03cSPaolo Bonzini                 break;
87169e0a03cSPaolo Bonzini             }
87269e0a03cSPaolo Bonzini             case 4: {
87369e0a03cSPaolo Bonzini                 macvm_set_cr4(cpu->hvf_fd, RRX(env, reg));
87469e0a03cSPaolo Bonzini                 break;
87569e0a03cSPaolo Bonzini             }
87669e0a03cSPaolo Bonzini             case 8: {
87769e0a03cSPaolo Bonzini                 X86CPU *x86_cpu = X86_CPU(cpu);
87869e0a03cSPaolo Bonzini                 if (exit_qual & 0x10) {
87969e0a03cSPaolo Bonzini                     RRX(env, reg) = cpu_get_apic_tpr(x86_cpu->apic_state);
88069e0a03cSPaolo Bonzini                 } else {
88169e0a03cSPaolo Bonzini                     int tpr = RRX(env, reg);
88269e0a03cSPaolo Bonzini                     cpu_set_apic_tpr(x86_cpu->apic_state, tpr);
88369e0a03cSPaolo Bonzini                     ret = EXCP_INTERRUPT;
88469e0a03cSPaolo Bonzini                 }
88569e0a03cSPaolo Bonzini                 break;
88669e0a03cSPaolo Bonzini             }
88769e0a03cSPaolo Bonzini             default:
88869e0a03cSPaolo Bonzini                 error_report("Unrecognized CR %d\n", cr);
88969e0a03cSPaolo Bonzini                 abort();
89069e0a03cSPaolo Bonzini             }
89169e0a03cSPaolo Bonzini             RIP(env) += ins_len;
89269e0a03cSPaolo Bonzini             store_regs(cpu);
89369e0a03cSPaolo Bonzini             break;
89469e0a03cSPaolo Bonzini         }
89569e0a03cSPaolo Bonzini         case EXIT_REASON_APIC_ACCESS: { /* TODO */
89669e0a03cSPaolo Bonzini             struct x86_decode decode;
89769e0a03cSPaolo Bonzini 
89869e0a03cSPaolo Bonzini             load_regs(cpu);
89969e0a03cSPaolo Bonzini             env->hvf_emul->fetch_rip = rip;
90069e0a03cSPaolo Bonzini 
90169e0a03cSPaolo Bonzini             decode_instruction(env, &decode);
90269e0a03cSPaolo Bonzini             exec_instruction(env, &decode);
90369e0a03cSPaolo Bonzini             store_regs(cpu);
90469e0a03cSPaolo Bonzini             break;
90569e0a03cSPaolo Bonzini         }
90669e0a03cSPaolo Bonzini         case EXIT_REASON_TPR: {
90769e0a03cSPaolo Bonzini             ret = 1;
90869e0a03cSPaolo Bonzini             break;
90969e0a03cSPaolo Bonzini         }
91069e0a03cSPaolo Bonzini         case EXIT_REASON_TASK_SWITCH: {
91169e0a03cSPaolo Bonzini             uint64_t vinfo = rvmcs(cpu->hvf_fd, VMCS_IDT_VECTORING_INFO);
91269e0a03cSPaolo Bonzini             x68_segment_selector sel = {.sel = exit_qual & 0xffff};
91369e0a03cSPaolo Bonzini             vmx_handle_task_switch(cpu, sel, (exit_qual >> 30) & 0x3,
91469e0a03cSPaolo Bonzini              vinfo & VMCS_INTR_VALID, vinfo & VECTORING_INFO_VECTOR_MASK, vinfo
91569e0a03cSPaolo Bonzini              & VMCS_INTR_T_MASK);
91669e0a03cSPaolo Bonzini             break;
91769e0a03cSPaolo Bonzini         }
91869e0a03cSPaolo Bonzini         case EXIT_REASON_TRIPLE_FAULT: {
91969e0a03cSPaolo Bonzini             qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET);
92069e0a03cSPaolo Bonzini             ret = EXCP_INTERRUPT;
92169e0a03cSPaolo Bonzini             break;
92269e0a03cSPaolo Bonzini         }
92369e0a03cSPaolo Bonzini         case EXIT_REASON_RDPMC:
92469e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_RAX, 0);
92569e0a03cSPaolo Bonzini             wreg(cpu->hvf_fd, HV_X86_RDX, 0);
92669e0a03cSPaolo Bonzini             macvm_set_rip(cpu, rip + ins_len);
92769e0a03cSPaolo Bonzini             break;
92869e0a03cSPaolo Bonzini         case VMX_REASON_VMCALL:
92969e0a03cSPaolo Bonzini             env->exception_injected = EXCP0D_GPF;
93069e0a03cSPaolo Bonzini             env->has_error_code = true;
93169e0a03cSPaolo Bonzini             env->error_code = 0;
93269e0a03cSPaolo Bonzini             break;
93369e0a03cSPaolo Bonzini         default:
93469e0a03cSPaolo Bonzini             error_report("%llx: unhandled exit %llx\n", rip, exit_reason);
93569e0a03cSPaolo Bonzini         }
93669e0a03cSPaolo Bonzini     } while (ret == 0);
93769e0a03cSPaolo Bonzini 
93869e0a03cSPaolo Bonzini     return ret;
93969e0a03cSPaolo Bonzini }
94069e0a03cSPaolo Bonzini 
94169e0a03cSPaolo Bonzini static bool hvf_allowed;
94269e0a03cSPaolo Bonzini 
94369e0a03cSPaolo Bonzini static int hvf_accel_init(MachineState *ms)
94469e0a03cSPaolo Bonzini {
94569e0a03cSPaolo Bonzini     int x;
94669e0a03cSPaolo Bonzini     hv_return_t ret;
94769e0a03cSPaolo Bonzini     HVFState *s;
94869e0a03cSPaolo Bonzini 
94969e0a03cSPaolo Bonzini     hvf_disable(0);
95069e0a03cSPaolo Bonzini     ret = hv_vm_create(HV_VM_DEFAULT);
95169e0a03cSPaolo Bonzini     assert_hvf_ok(ret);
95269e0a03cSPaolo Bonzini 
95369e0a03cSPaolo Bonzini     s = g_new0(HVFState, 1);
95469e0a03cSPaolo Bonzini 
95569e0a03cSPaolo Bonzini     s->num_slots = 32;
95669e0a03cSPaolo Bonzini     for (x = 0; x < s->num_slots; ++x) {
95769e0a03cSPaolo Bonzini         s->slots[x].size = 0;
95869e0a03cSPaolo Bonzini         s->slots[x].slot_id = x;
95969e0a03cSPaolo Bonzini     }
96069e0a03cSPaolo Bonzini 
96169e0a03cSPaolo Bonzini     hvf_state = s;
96269e0a03cSPaolo Bonzini     cpu_interrupt_handler = hvf_handle_interrupt;
96369e0a03cSPaolo Bonzini     memory_listener_register(&hvf_memory_listener, &address_space_memory);
96469e0a03cSPaolo Bonzini     return 0;
96569e0a03cSPaolo Bonzini }
96669e0a03cSPaolo Bonzini 
96769e0a03cSPaolo Bonzini static void hvf_accel_class_init(ObjectClass *oc, void *data)
96869e0a03cSPaolo Bonzini {
96969e0a03cSPaolo Bonzini     AccelClass *ac = ACCEL_CLASS(oc);
97069e0a03cSPaolo Bonzini     ac->name = "HVF";
97169e0a03cSPaolo Bonzini     ac->init_machine = hvf_accel_init;
97269e0a03cSPaolo Bonzini     ac->allowed = &hvf_allowed;
97369e0a03cSPaolo Bonzini }
97469e0a03cSPaolo Bonzini 
97569e0a03cSPaolo Bonzini static const TypeInfo hvf_accel_type = {
97669e0a03cSPaolo Bonzini     .name = TYPE_HVF_ACCEL,
97769e0a03cSPaolo Bonzini     .parent = TYPE_ACCEL,
97869e0a03cSPaolo Bonzini     .class_init = hvf_accel_class_init,
97969e0a03cSPaolo Bonzini };
98069e0a03cSPaolo Bonzini 
98169e0a03cSPaolo Bonzini static void hvf_type_init(void)
98269e0a03cSPaolo Bonzini {
98369e0a03cSPaolo Bonzini     type_register_static(&hvf_accel_type);
98469e0a03cSPaolo Bonzini }
98569e0a03cSPaolo Bonzini 
98669e0a03cSPaolo Bonzini type_init(hvf_type_init);
987