diff options
author | Alex Williamson <alex.williamson@redhat.com> | 2012-12-10 12:32:51 -0500 |
---|---|---|
committer | Marcelo Tosatti <mtosatti@redhat.com> | 2012-12-13 20:21:51 -0500 |
commit | 9c695d42dbd465bcaa865603b411a73c60e60978 (patch) | |
tree | ee8348edbd718928a384e2eb19103b3d163607ed /virt | |
parent | f0736cf0550b349a5d5a374d65ca0488cc2eee40 (diff) |
KVM: Check userspace_addr when modifying a memory slot
The API documents that only flags and guest physical memory space can
be modified on an existing slot, but we don't enforce that the
userspace address cannot be modified. Instead we just ignore it.
This means that a user may think they've successfully moved both the
guest and user addresses, when in fact only the guest address changed.
Check and error instead.
Reviewed-by: Gleb Natapov <gleb@redhat.com>
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Diffstat (limited to 'virt')
-rw-r--r-- | virt/kvm/kvm_main.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/virt/kvm/kvm_main.c b/virt/kvm/kvm_main.c index 3caf8162eb6b..e4d358195e54 100644 --- a/virt/kvm/kvm_main.c +++ b/virt/kvm/kvm_main.c | |||
@@ -784,13 +784,19 @@ int __kvm_set_memory_region(struct kvm *kvm, | |||
784 | 784 | ||
785 | r = -ENOMEM; | 785 | r = -ENOMEM; |
786 | 786 | ||
787 | /* Allocate if a slot is being created */ | 787 | /* |
788 | * Allocate if a slot is being created. If modifying a slot, | ||
789 | * the userspace_addr cannot change. | ||
790 | */ | ||
788 | if (!old.npages) { | 791 | if (!old.npages) { |
789 | new.user_alloc = user_alloc; | 792 | new.user_alloc = user_alloc; |
790 | new.userspace_addr = mem->userspace_addr; | 793 | new.userspace_addr = mem->userspace_addr; |
791 | 794 | ||
792 | if (kvm_arch_create_memslot(&new, npages)) | 795 | if (kvm_arch_create_memslot(&new, npages)) |
793 | goto out_free; | 796 | goto out_free; |
797 | } else if (npages && mem->userspace_addr != old.userspace_addr) { | ||
798 | r = -EINVAL; | ||
799 | goto out_free; | ||
794 | } | 800 | } |
795 | 801 | ||
796 | /* Allocate page dirty bitmap if needed */ | 802 | /* Allocate page dirty bitmap if needed */ |