|
@@ -29,12 +29,6 @@
|
|
|
|
|
|
#define __KVM_HAVE_ARCH_INTC_INITIALIZED
|
|
#define __KVM_HAVE_ARCH_INTC_INITIALIZED
|
|
|
|
|
|
-#if defined(CONFIG_KVM_ARM_MAX_VCPUS)
|
|
|
|
-#define KVM_MAX_VCPUS CONFIG_KVM_ARM_MAX_VCPUS
|
|
|
|
-#else
|
|
|
|
-#define KVM_MAX_VCPUS 0
|
|
|
|
-#endif
|
|
|
|
-
|
|
|
|
#define KVM_USER_MEM_SLOTS 32
|
|
#define KVM_USER_MEM_SLOTS 32
|
|
#define KVM_PRIVATE_MEM_SLOTS 4
|
|
#define KVM_PRIVATE_MEM_SLOTS 4
|
|
#define KVM_COALESCED_MMIO_PAGE_OFFSET 1
|
|
#define KVM_COALESCED_MMIO_PAGE_OFFSET 1
|
|
@@ -44,6 +38,8 @@
|
|
|
|
|
|
#include <kvm/arm_vgic.h>
|
|
#include <kvm/arm_vgic.h>
|
|
|
|
|
|
|
|
+#define KVM_MAX_VCPUS VGIC_V2_MAX_CPUS
|
|
|
|
+
|
|
u32 *kvm_vcpu_reg(struct kvm_vcpu *vcpu, u8 reg_num, u32 mode);
|
|
u32 *kvm_vcpu_reg(struct kvm_vcpu *vcpu, u8 reg_num, u32 mode);
|
|
int __attribute_const__ kvm_target_cpu(void);
|
|
int __attribute_const__ kvm_target_cpu(void);
|
|
int kvm_reset_vcpu(struct kvm_vcpu *vcpu);
|
|
int kvm_reset_vcpu(struct kvm_vcpu *vcpu);
|