333  * struct vgic_its_iter - Iterator for traversing VGIC ITS device tables.
338  * over the ITS device tables. It holds pointers to both the current device
351  * table, it was marked to indicate the end of iteration by setting its
363  * vgic_its_iter_next - Advances the iterator to the next entry in the ITS tables.
364  * @its: The VGIC ITS structure.
372 static void vgic_its_iter_next(struct vgic_its *its, struct vgic_its_iter *iter)  in vgic_its_iter_next()  argument
378 		if (list_is_last(&dev->dev_list, &its->device_list)) {  in vgic_its_iter_next()
400  * This function initializes the iterator to the beginning of the ITS tables
410 	struct vgic_its *its = s->private;  in vgic_its_debug_start()  local
415 	mutex_lock(&its->its_lock);  in vgic_its_debug_start()
417 	dev = list_first_entry_or_null(&its->device_list,  in vgic_its_debug_start()
431 		vgic_its_iter_next(its, iter);  in vgic_its_debug_start()
455 	struct vgic_its *its = s->private;  in vgic_its_debug_next()  local
459 	vgic_its_iter_next(its, iter);  in vgic_its_debug_next()
477 	struct vgic_its *its = s->private;  in vgic_its_debug_stop()  local
482 	mutex_unlock(&its->its_lock);  in vgic_its_debug_stop()
490  * This function formats and prints the ITS table entry information to the
532  * vgic_its_debug_init - Initializes the debugfs interface for VGIC ITS.
535  * This function creates a debugfs file named "vgic-its-state@%its_base"
536  * to expose the ITS table information.
542 	struct vgic_its *its = dev->private;  in vgic_its_debug_init()  local
545 	name = kasprintf(GFP_KERNEL, "vgic-its-state@%llx", (u64)its->vgic_its_base);  in vgic_its_debug_init()
549 	debugfs_create_file(name, 0444, dev->kvm->debugfs_dentry, its, &vgic_its_debug_fops);  in vgic_its_debug_init()