aboutsummaryrefslogtreecommitdiffstats
path: root/arch
diff options
context:
space:
mode:
authorChristoffer Dall <christoffer.dall@linaro.org>2014-10-10 06:14:29 -0400
committerChristoffer Dall <christoffer.dall@linaro.org>2014-10-14 08:48:25 -0400
commitc3058d5da2222629bc2223c488a4512b59bb4baf (patch)
treec34f1e9fcf3909ddd493f644902b29ca18168236 /arch
parent38f791a4e499792eeb2a3c0572dd5133511c5bbb (diff)
arm/arm64: KVM: Ensure memslots are within KVM_PHYS_SIZE
When creating or moving a memslot, make sure the IPA space is within the addressable range of the guest. Otherwise, user space can create too large a memslot and KVM would try to access potentially unallocated page table entries when inserting entries in the Stage-2 page tables. Acked-by: Catalin Marinas <catalin.marinas@arm.com> Acked-by: Marc Zyngier <marc.zyngier@arm.com> Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>
Diffstat (limited to 'arch')
-rw-r--r--arch/arm/kvm/mmu.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/arch/arm/kvm/mmu.c b/arch/arm/kvm/mmu.c
index ee142edcca84..8c40829d4a52 100644
--- a/arch/arm/kvm/mmu.c
+++ b/arch/arm/kvm/mmu.c
@@ -1003,6 +1003,9 @@ int kvm_handle_guest_abort(struct kvm_vcpu *vcpu, struct kvm_run *run)
1003 goto out_unlock; 1003 goto out_unlock;
1004 } 1004 }
1005 1005
1006 /* Userspace should not be able to register out-of-bounds IPAs */
1007 VM_BUG_ON(fault_ipa >= KVM_PHYS_SIZE);
1008
1006 ret = user_mem_abort(vcpu, fault_ipa, memslot, hva, fault_status); 1009 ret = user_mem_abort(vcpu, fault_ipa, memslot, hva, fault_status);
1007 if (ret == 0) 1010 if (ret == 0)
1008 ret = 1; 1011 ret = 1;
@@ -1229,6 +1232,14 @@ int kvm_arch_prepare_memory_region(struct kvm *kvm,
1229 return 0; 1232 return 0;
1230 1233
1231 /* 1234 /*
1235 * Prevent userspace from creating a memory region outside of the IPA
1236 * space addressable by the KVM guest IPA space.
1237 */
1238 if (memslot->base_gfn + memslot->npages >=
1239 (KVM_PHYS_SIZE >> PAGE_SHIFT))
1240 return -EFAULT;
1241
1242 /*
1232 * A memory region could potentially cover multiple VMAs, and any holes 1243 * A memory region could potentially cover multiple VMAs, and any holes
1233 * between them, so iterate over all of them to find out if we can map 1244 * between them, so iterate over all of them to find out if we can map
1234 * any of them right now. 1245 * any of them right now.