94 struct vgic_v3_irq {  struct
96 	TAILQ_ENTRY(vgic_v3_irq) act_pend_list;
124 	struct vgic_v3_irq *irqs;  argument
139 	struct vgic_v3_irq private_irqs[VGIC_PRV_I_NUM];
140 	TAILQ_HEAD(, vgic_v3_irq) irq_act_pend;
420 static struct vgic_v3_irq *vgic_v3_get_irq(struct hyp *, int, uint32_t);
421 static void vgic_v3_release_irq(struct vgic_v3_irq *);
467 	struct vgic_v3_irq *irq;  in vgic_v3_cpuinit()
540 	struct vgic_v3_irq *irq;  in vgic_v3_cpucleanup()
588 vgic_v3_irq_pending(struct vgic_v3_irq *irq)  in vgic_v3_irq_pending()
599     int vcpuid, struct vgic_v3_irq *irq)  in vgic_v3_queue_irq()
661 	struct vgic_v3_irq *irq;  in read_enabler()
685 	struct vgic_v3_irq *irq;  in write_enabler()
709 	struct vgic_v3_irq *irq;  in read_pendr()
734 	struct vgic_v3_irq *irq;  in write_pendr()
787 	struct vgic_v3_irq *irq;  in read_activer()
812 	struct vgic_v3_irq *irq;  in write_activer()
862 	struct vgic_v3_irq *irq;  in read_priorityr()
885 	struct vgic_v3_irq *irq;  in write_priorityr()
903 	struct vgic_v3_irq *irq;  in read_config()
926 	struct vgic_v3_irq *irq;  in write_config()
954 	struct vgic_v3_irq *irq;  in read_route()
971 	struct vgic_v3_irq *irq;  in write_route()
1834 	struct vgic_v3_irq *irq;  in vgic_v3_mmio_init()
1856 	struct vgic_v3_irq *irq;  in vgic_v3_mmio_destroy()
1939 static struct vgic_v3_irq *
1943 	struct vgic_v3_irq *irq;  in vgic_v3_get_irq()
1971 vgic_v3_release_irq(struct vgic_v3_irq *irq)  in vgic_v3_release_irq()
1992 vgic_v3_check_irq(struct vgic_v3_irq *irq, bool level)  in vgic_v3_check_irq()
2016 	struct vgic_v3_irq *irq;  in vgic_v3_inject_irq()
2106 	struct vgic_v3_irq *irq;  in vgic_v3_flush_hwstate()
2182 	struct vgic_v3_irq *irq;  in vgic_v3_sync_hwstate()