return __is_visible_gfn_locked(its, gpa);
 }
 
+/*
+ * Add a new collection into the ITS collection table.
+ * Returns 0 on success, and a negative error value for generic errors.
+ */
 static int vgic_its_alloc_collection(struct vgic_its *its,
                                     struct its_collection **colp,
                                     u32 coll_id)
 {
        struct its_collection *collection;
 
-       if (!vgic_its_check_id(its, its->baser_coll_table, coll_id, NULL))
-               return E_ITS_MAPC_COLLECTION_OOR;
-
        collection = kzalloc(sizeof(*collection), GFP_KERNEL_ACCOUNT);
        if (!collection)
                return -ENOMEM;
 
        collection = find_collection(its, coll_id);
        if (!collection) {
-               int ret = vgic_its_alloc_collection(its, &collection, coll_id);
+               int ret;
+
+               if (!vgic_its_check_id(its, its->baser_coll_table, coll_id, NULL))
+                       return E_ITS_MAPC_COLLECTION_OOR;
+
+               ret = vgic_its_alloc_collection(its, &collection, coll_id);
                if (ret)
                        return ret;
                new_coll = collection;
                if (!collection) {
                        int ret;
 
+                       if (!vgic_its_check_id(its, its->baser_coll_table,
+                                               coll_id, NULL))
+                               return E_ITS_MAPC_COLLECTION_OOR;
+
                        ret = vgic_its_alloc_collection(its, &collection,
                                                        coll_id);
                        if (ret)
        return kvm_write_guest_lock(its->dev->kvm, gpa, &val, esz);
 }
 
+/*
+ * Restore a collection entry into the ITS collection table.
+ * Return +1 on success, 0 if the entry was invalid (which should be
+ * interpreted as end-of-table), and a negative error value for generic errors.
+ */
 static int vgic_its_restore_cte(struct vgic_its *its, gpa_t gpa, int esz)
 {
        struct its_collection *collection;
        collection = find_collection(its, coll_id);
        if (collection)
                return -EEXIST;
+
+       if (!vgic_its_check_id(its, its->baser_coll_table, coll_id, NULL))
+               return -EINVAL;
+
        ret = vgic_its_alloc_collection(its, &collection, coll_id);
        if (ret)
                return ret;