kvm/vgic/vgic-mmio.c

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