vgic_v3_irq
struct vgic_v3_irq *irqs;
struct vgic_v3_irq private_irqs[VGIC_PRV_I_NUM];
TAILQ_HEAD(, vgic_v3_irq) irq_act_pend;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
static struct vgic_v3_irq *
struct vgic_v3_irq *irq;
vgic_v3_release_irq(struct vgic_v3_irq *irq)
vgic_v3_check_irq(struct vgic_v3_irq *irq, bool level)
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
static struct vgic_v3_irq *vgic_v3_get_irq(struct hyp *, int, uint32_t);
static void vgic_v3_release_irq(struct vgic_v3_irq *);
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
vgic_v3_irq_pending(struct vgic_v3_irq *irq)
int vcpuid, struct vgic_v3_irq *irq)
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
struct vgic_v3_irq *irq;
TAILQ_ENTRY(vgic_v3_irq) act_pend_list;
struct vgic_v3_irq *irq;