325  * struct vgic_its_iter - Iterator for traversing VGIC ITS device tables.
330  * over the ITS device tables. It holds pointers to both the current device
343  * table, it was marked to indicate the end of iteration by setting its
355  * vgic_its_iter_next - Advances the iterator to the next entry in the ITS tables.
356  * @its: The VGIC ITS structure.
364 static void vgic_its_iter_next(struct vgic_its *its, struct vgic_its_iter *iter)  in vgic_its_iter_next()  argument
370 		if (list_is_last(&dev->dev_list, &its->device_list)) {  in vgic_its_iter_next()
392  * This function initializes the iterator to the beginning of the ITS tables
402 	struct vgic_its *its = s->private;  in vgic_its_debug_start()  local
407 	mutex_lock(&its->its_lock);  in vgic_its_debug_start()
409 	dev = list_first_entry_or_null(&its->device_list,  in vgic_its_debug_start()
423 		vgic_its_iter_next(its, iter);  in vgic_its_debug_start()
447 	struct vgic_its *its = s->private;  in vgic_its_debug_next()  local
451 	vgic_its_iter_next(its, iter);  in vgic_its_debug_next()
469 	struct vgic_its *its = s->private;  in vgic_its_debug_stop()  local
474 	mutex_unlock(&its->its_lock);  in vgic_its_debug_stop()
482  * This function formats and prints the ITS table entry information to the
524  * vgic_its_debug_init - Initializes the debugfs interface for VGIC ITS.
527  * This function creates a debugfs file named "vgic-its-state@%its_base"
528  * to expose the ITS table information.
534 	struct vgic_its *its = dev->private;  in vgic_its_debug_init()  local
537 	name = kasprintf(GFP_KERNEL, "vgic-its-state@%llx", (u64)its->vgic_its_base);  in vgic_its_debug_init()
541 	debugfs_create_file(name, 0444, dev->kvm->debugfs_dentry, its, &vgic_its_debug_fops);  in vgic_its_debug_init()