53 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_read_group()  local
64 static void vgic_update_vsgi(struct vgic_irq *irq)  in vgic_update_vsgi()
77 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_write_group()  local
105 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_read_enable()  local
125 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_write_senable()  local
174 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_write_cenable()  local
196 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_uaccess_write_senable()  local
217 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_uaccess_write_cenable()  local
239 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in __read_pending()  local
298 static bool is_vgic_v2_sgi(struct kvm_vcpu *vcpu, struct vgic_irq *irq)  in is_vgic_v2_sgi()
312 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in __set_pending()  local
369 static void vgic_hw_irq_cpending(struct kvm_vcpu *vcpu, struct vgic_irq *irq)  in vgic_hw_irq_cpending()
398 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in __clear_pending()  local
497 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in __vgic_mmio_read_active()  local
536 static void vgic_hw_irq_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq,  in vgic_hw_irq_change_active()
546 static void vgic_mmio_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq,  in vgic_mmio_change_active()
601 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in __vgic_mmio_write_cactive()  local
638 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in __vgic_mmio_write_sactive()  local
675 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_read_priority()  local
701 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_write_priority()  local
722 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);  in vgic_mmio_read_config()  local
742 		struct vgic_irq *irq;  in vgic_mmio_write_config()  local
773 		struct vgic_irq *irq;  in vgic_read_irq_line_level_info()  local
796 		struct vgic_irq *irq;  in vgic_write_irq_line_level_info()  local