|
@@ -25,7 +25,12 @@
|
|
#include <asm/fpstate.h>
|
|
#include <asm/fpstate.h>
|
|
#include <kvm/arm_arch_timer.h>
|
|
#include <kvm/arm_arch_timer.h>
|
|
|
|
|
|
|
|
+#if defined(CONFIG_KVM_ARM_MAX_VCPUS)
|
|
#define KVM_MAX_VCPUS 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
|