47 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_group()  local
53 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_group()
72 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_group()  local
77 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_group()
81 		if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in vgic_mmio_write_group()
99 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_enable()  local
105 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_enable()
120 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_senable()  local
125 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_senable()
128 		if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in vgic_mmio_write_senable()
169 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cenable()  local
174 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_cenable()
177 		if (irq->hw && vgic_irq_is_sgi(irq->intid) && irq->enabled)  in vgic_mmio_write_cenable()
191 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_senable()  local
196 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_uaccess_write_senable()
212 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cenable()  local
217 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_uaccess_write_cenable()
233 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __read_pending()  local
239 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __read_pending()
253 		if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in __read_pending()
300 	return (vgic_irq_is_sgi(irq->intid) &&  in is_vgic_v2_sgi()
307 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __set_pending()  local
312 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __set_pending()
330 		if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in __set_pending()
393 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __clear_pending()  local
398 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __clear_pending()
416 		if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in __clear_pending()
471 static void vgic_access_active_prepare(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_prepare()  argument
475 	    intid >= VGIC_NR_PRIVATE_IRQS)  in vgic_access_active_prepare()
480 static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_finish()  argument
484 	    intid >= VGIC_NR_PRIVATE_IRQS)  in vgic_access_active_finish()
491 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_read_active()  local
497 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __vgic_mmio_read_active()
515 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()  local
519 	vgic_access_active_prepare(vcpu, intid);  in vgic_mmio_read_active()
523 	vgic_access_active_finish(vcpu, intid);  in vgic_mmio_read_active()
554 	if (irq->hw && !vgic_irq_is_sgi(irq->intid)) {  in vgic_mmio_change_active()
556 	} else if (irq->hw && vgic_irq_is_sgi(irq->intid)) {  in vgic_mmio_change_active()
583 		    active && vgic_irq_is_sgi(irq->intid))  in vgic_mmio_change_active()
597 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()  local
601 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __vgic_mmio_write_cactive()
611 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()  local
614 	vgic_access_active_prepare(vcpu, intid);  in vgic_mmio_write_cactive()
618 	vgic_access_active_finish(vcpu, intid);  in vgic_mmio_write_cactive()
634 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()  local
638 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __vgic_mmio_write_sactive()
648 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()  local
651 	vgic_access_active_prepare(vcpu, intid);  in vgic_mmio_write_sactive()
655 	vgic_access_active_finish(vcpu, intid);  in vgic_mmio_write_sactive()
670 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()  local
675 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_priority()
696 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()  local
701 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_priority()
706 		if (irq->hw && vgic_irq_is_sgi(irq->intid))  in vgic_mmio_write_priority()
717 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()  local
722 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_config()
737 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()  local
750 		if (intid + i < VGIC_NR_PRIVATE_IRQS)  in vgic_mmio_write_config()
753 		irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_config()
766 u32 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)  in vgic_read_irq_line_level_info()  argument
775 		if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)  in vgic_read_irq_line_level_info()
778 		irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_read_irq_line_level_info()
788 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,  in vgic_write_irq_line_level_info()  argument
799 		if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)  in vgic_write_irq_line_level_info()
802 		irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_write_irq_line_level_info()