1 /* 2 * QEMU KVM support -- x86 specific functions. 3 * 4 * Copyright (c) 2012 Linaro Limited 5 * 6 * This work is licensed under the terms of the GNU GPL, version 2 or later. 7 * See the COPYING file in the top-level directory. 8 * 9 */ 10 11 #ifndef QEMU_KVM_I386_H 12 #define QEMU_KVM_I386_H 13 14 #include "system/kvm.h" 15 16 #define KVM_MAX_CPUID_ENTRIES 100 17 18 /* always false if !CONFIG_KVM */ 19 #define kvm_pit_in_kernel() \ 20 (kvm_irqchip_in_kernel() && !kvm_irqchip_is_split()) 21 #define kvm_pic_in_kernel() \ 22 (kvm_irqchip_in_kernel() && !kvm_irqchip_is_split()) 23 #define kvm_ioapic_in_kernel() \ 24 (kvm_irqchip_in_kernel() && !kvm_irqchip_is_split()) 25 26 bool kvm_has_smm(void); 27 bool kvm_enable_x2apic(void); 28 bool kvm_hv_vpindex_settable(void); 29 bool kvm_enable_hypercall(uint64_t enable_mask); 30 31 bool kvm_enable_sgx_provisioning(KVMState *s); 32 bool kvm_hyperv_expand_features(X86CPU *cpu, Error **errp); 33 34 int kvm_get_vm_type(MachineState *ms); 35 void kvm_arch_reset_vcpu(X86CPU *cs); 36 void kvm_arch_after_reset_vcpu(X86CPU *cpu); 37 void kvm_arch_do_init_vcpu(X86CPU *cs); 38 uint32_t kvm_arch_get_supported_cpuid(KVMState *env, uint32_t function, 39 uint32_t index, int reg); 40 uint64_t kvm_arch_get_supported_msr_feature(KVMState *s, uint32_t index); 41 42 void kvm_set_max_apic_id(uint32_t max_apic_id); 43 void kvm_request_xsave_components(X86CPU *cpu, uint64_t mask); 44 45 #ifdef CONFIG_KVM 46 47 bool kvm_is_vm_type_supported(int type); 48 bool kvm_has_adjust_clock_stable(void); 49 bool kvm_has_exception_payload(void); 50 void kvm_synchronize_all_tsc(void); 51 52 void kvm_get_apic_state(DeviceState *d, struct kvm_lapic_state *kapic); 53 void kvm_put_apicbase(X86CPU *cpu, uint64_t value); 54 55 bool kvm_has_x2apic_api(void); 56 bool kvm_has_waitpkg(void); 57 58 uint64_t kvm_swizzle_msi_ext_dest_id(uint64_t address); 59 void kvm_update_msi_routes_all(void *private, bool global, 60 uint32_t index, uint32_t mask); 61 62 #endif /* CONFIG_KVM */ 63 64 void kvm_pc_setup_irq_routing(bool pci_enabled); 65 66 #endif 67