Home
last modified time | relevance | path

Searched refs:vgic_v3_irq (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm64/vmm/io/
H A Dvgic_v3.c94 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()
[all …]