mutex_init(&kvm->lock);
        mutex_init(&kvm->irq_lock);
        mutex_init(&kvm->slots_lock);
+       mutex_init(&kvm->slots_arch_lock);
        INIT_LIST_HEAD(&kvm->devices);
 
        BUILD_BUG_ON(KVM_MEM_SLOTS_NUM > SHRT_MAX);
        slots->generation = gen | KVM_MEMSLOT_GEN_UPDATE_IN_PROGRESS;
 
        rcu_assign_pointer(kvm->memslots[as_id], slots);
+
+       /*
+        * Acquired in kvm_set_memslot. Must be released before synchronize
+        * SRCU below in order to avoid deadlock with another thread
+        * acquiring the slots_arch_lock in an srcu critical section.
+        */
+       mutex_unlock(&kvm->slots_arch_lock);
+
        synchronize_srcu_expedited(&kvm->srcu);
 
        /*
        struct kvm_memslots *slots;
        int r;
 
+       /*
+        * Released in install_new_memslots.
+        *
+        * Must be held from before the current memslots are copied until
+        * after the new memslots are installed with rcu_assign_pointer,
+        * then released before the synchronize srcu in install_new_memslots.
+        *
+        * When modifying memslots outside of the slots_lock, must be held
+        * before reading the pointer to the current memslots until after all
+        * changes to those memslots are complete.
+        *
+        * These rules ensure that installing new memslots does not lose
+        * changes made to the previous memslots.
+        */
+       mutex_lock(&kvm->slots_arch_lock);
+
        slots = kvm_dup_memslots(__kvm_memslots(kvm, as_id), change);
-       if (!slots)
+       if (!slots) {
+               mutex_unlock(&kvm->slots_arch_lock);
                return -ENOMEM;
+       }
 
        if (change == KVM_MR_DELETE || change == KVM_MR_MOVE) {
                /*
                slot->flags |= KVM_MEMSLOT_INVALID;
 
                /*
-                * We can re-use the old memslots, the only difference from the
-                * newly installed memslots is the invalid flag, which will get
-                * dropped by update_memslots anyway.  We'll also revert to the
-                * old memslots if preparing the new memory region fails.
+                * We can re-use the memory from the old memslots.
+                * It will be overwritten with a copy of the new memslots
+                * after reacquiring the slots_arch_lock below.
                 */
                slots = install_new_memslots(kvm, as_id, slots);
 
                 *      - kvm_is_visible_gfn (mmu_check_root)
                 */
                kvm_arch_flush_shadow_memslot(kvm, slot);
+
+               /* Released in install_new_memslots. */
+               mutex_lock(&kvm->slots_arch_lock);
+
+               /*
+                * The arch-specific fields of the memslots could have changed
+                * between releasing the slots_arch_lock in
+                * install_new_memslots and here, so get a fresh copy of the
+                * slots.
+                */
+               kvm_copy_memslots(slots, __kvm_memslots(kvm, as_id));
        }
 
        r = kvm_arch_prepare_memory_region(kvm, new, mem, change);
        return 0;
 
 out_slots:
-       if (change == KVM_MR_DELETE || change == KVM_MR_MOVE)
+       if (change == KVM_MR_DELETE || change == KVM_MR_MOVE) {
+               slot = id_to_memslot(slots, old->id);
+               slot->flags &= ~KVM_MEMSLOT_INVALID;
                slots = install_new_memslots(kvm, as_id, slots);
+       } else {
+               mutex_unlock(&kvm->slots_arch_lock);
+       }
        kvfree(slots);
        return r;
 }