23 #include "vgic.h"
24 #include "vgic-mmio.h"
42 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_add_lpi()
283 	u64 propbase = GICR_PROPBASER_ADDRESS(kvm->arch.vgic.propbaser);  in update_lpi_config()
321 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_copy_lpi_list()
389  * is targeting) to the VGIC's view, which deals with target VCPUs.
591 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_its_check_cache()
610 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_its_cache_translation()
661 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_its_invalidate_cache()
1110 	    lpi_nr >= max_lpis_propbaser(kvm->arch.vgic.propbaser))  in vgic_its_cmd_handle_mapi()
1905 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_lpi_translation_cache_init()
1929 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_lpi_translation_cache_destroy()
1993 	dev->kvm->arch.vgic.msis_require_devid = true;  in vgic_its_create()
1994 	dev->kvm->arch.vgic.has_its = true;  in vgic_its_create()
2002 	dev->kvm->arch.vgic.propbaser = INITIAL_PROPBASER_VALUE;  in vgic_its_create()
2820  * dirty guest pages. When vgic/its tables are being saved, the backup
2826 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_arch_allow_write_without_running_vcpu()
2906 	.name = "kvm-arm-vgic-its",