14 #include "vgic.h"
17  * Structure to control looping through the entire vgic state.  We start at
37 	struct vgic_dist *dist = &kvm->arch.vgic;  in iter_next()
66 	struct vgic_dist *dist = &kvm->arch.vgic;  in iter_mark_lpis()
84 	struct vgic_dist *dist = &kvm->arch.vgic;  in iter_unmark_lpis()
102 	iter->nr_spis = kvm->arch.vgic.nr_spis;  in iter_init()
103 	if (kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3)  in iter_init()
125 	iter = kvm->arch.vgic.iter;  in vgic_debug_start()
138 	kvm->arch.vgic.iter = iter;  in vgic_debug_start()
150 	struct vgic_state_iter *iter = kvm->arch.vgic.iter;  in vgic_debug_next()
172 	iter = kvm->arch.vgic.iter;  in vgic_debug_stop()
175 	kvm->arch.vgic.iter = NULL;  in vgic_debug_stop()
276 		print_dist_state(s, &kvm->arch.vgic, iter);  in vgic_debug_show()
280 	if (!kvm->arch.vgic.initialized)  in vgic_debug_show()
316 	debugfs_create_file("vgic-state", 0444, kvm->debugfs_dentry, kvm,  in vgic_debug_init()
325  * struct vgic_its_iter - Iterator for traversing VGIC ITS device tables.
356  * @its: The VGIC ITS structure.
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"
537 	name = kasprintf(GFP_KERNEL, "vgic-its-state@%llx", (u64)its->vgic_its_base);  in vgic_its_debug_init()