*/
 static int vgic_its_save_tables_v0(struct vgic_its *its)
 {
-       struct kvm *kvm = its->dev->kvm;
        int ret;
 
-       mutex_lock(&kvm->lock);
-       mutex_lock(&its->its_lock);
-
-       if (!lock_all_vcpus(kvm)) {
-               mutex_unlock(&its->its_lock);
-               mutex_unlock(&kvm->lock);
-               return -EBUSY;
-       }
-
        ret = vgic_its_save_device_tables(its);
        if (ret)
-               goto out;
-
-       ret = vgic_its_save_collection_table(its);
+               return ret;
 
-out:
-       unlock_all_vcpus(kvm);
-       mutex_unlock(&its->its_lock);
-       mutex_unlock(&kvm->lock);
-       return ret;
+       return vgic_its_save_collection_table(its);
 }
 
 /**
  */
 static int vgic_its_restore_tables_v0(struct vgic_its *its)
 {
-       struct kvm *kvm = its->dev->kvm;
        int ret;
 
-       mutex_lock(&kvm->lock);
-       mutex_lock(&its->its_lock);
-
-       if (!lock_all_vcpus(kvm)) {
-               mutex_unlock(&its->its_lock);
-               mutex_unlock(&kvm->lock);
-               return -EBUSY;
-       }
-
        ret = vgic_its_restore_collection_table(its);
        if (ret)
-               goto out;
-
-       ret = vgic_its_restore_device_tables(its);
-out:
-       unlock_all_vcpus(kvm);
-       mutex_unlock(&its->its_lock);
-       mutex_unlock(&kvm->lock);
+               return ret;
 
-       return ret;
+       return vgic_its_restore_device_tables(its);
 }
 
 static int vgic_its_commit_v0(struct vgic_its *its)
        return 0;
 }
 
+static void vgic_its_reset(struct kvm *kvm, struct vgic_its *its)
+{
+       /* We need to keep the ABI specific field values */
+       its->baser_coll_table &= ~GITS_BASER_VALID;
+       its->baser_device_table &= ~GITS_BASER_VALID;
+       its->cbaser = 0;
+       its->creadr = 0;
+       its->cwriter = 0;
+       its->enabled = 0;
+       vgic_its_free_device_list(kvm, its);
+       vgic_its_free_collection_list(kvm, its);
+}
+
 static int vgic_its_has_attr(struct kvm_device *dev,
                             struct kvm_device_attr *attr)
 {
                switch (attr->attr) {
                case KVM_DEV_ARM_VGIC_CTRL_INIT:
                        return 0;
+               case KVM_DEV_ARM_ITS_CTRL_RESET:
+                       return 0;
                case KVM_DEV_ARM_ITS_SAVE_TABLES:
                        return 0;
                case KVM_DEV_ARM_ITS_RESTORE_TABLES:
        return -ENXIO;
 }
 
+static int vgic_its_ctrl(struct kvm *kvm, struct vgic_its *its, u64 attr)
+{
+       const struct vgic_its_abi *abi = vgic_its_get_abi(its);
+       int ret = 0;
+
+       if (attr == KVM_DEV_ARM_VGIC_CTRL_INIT) /* Nothing to do */
+               return 0;
+
+       mutex_lock(&kvm->lock);
+       mutex_lock(&its->its_lock);
+
+       if (!lock_all_vcpus(kvm)) {
+               mutex_unlock(&its->its_lock);
+               mutex_unlock(&kvm->lock);
+               return -EBUSY;
+       }
+
+       switch (attr) {
+       case KVM_DEV_ARM_ITS_CTRL_RESET:
+               vgic_its_reset(kvm, its);
+               break;
+       case KVM_DEV_ARM_ITS_SAVE_TABLES:
+               ret = abi->save_tables(its);
+               break;
+       case KVM_DEV_ARM_ITS_RESTORE_TABLES:
+               ret = abi->restore_tables(its);
+               break;
+       }
+
+       unlock_all_vcpus(kvm);
+       mutex_unlock(&its->its_lock);
+       mutex_unlock(&kvm->lock);
+       return ret;
+}
+
 static int vgic_its_set_attr(struct kvm_device *dev,
                             struct kvm_device_attr *attr)
 {
 
                return vgic_register_its_iodev(dev->kvm, its, addr);
        }
-       case KVM_DEV_ARM_VGIC_GRP_CTRL: {
-               const struct vgic_its_abi *abi = vgic_its_get_abi(its);
-
-               switch (attr->attr) {
-               case KVM_DEV_ARM_VGIC_CTRL_INIT:
-                       /* Nothing to do */
-                       return 0;
-               case KVM_DEV_ARM_ITS_SAVE_TABLES:
-                       return abi->save_tables(its);
-               case KVM_DEV_ARM_ITS_RESTORE_TABLES:
-                       return abi->restore_tables(its);
-               }
-       }
+       case KVM_DEV_ARM_VGIC_GRP_CTRL:
+               return vgic_its_ctrl(dev->kvm, its, attr->attr);
        case KVM_DEV_ARM_VGIC_GRP_ITS_REGS: {
                u64 __user *uaddr = (u64 __user *)(long)attr->addr;
                u64 reg;