Home
last modified time | relevance | path

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

/freebsd/sys/arm64/vmm/io/
H A Dvgic_v3.c588 vgic_v3_irq_pending(struct vgic_v3_irq *irq) in vgic_v3_irq_pending() function
722 if (vgic_v3_irq_pending(irq)) in read_pendr()
2155 if (!irq->active && vgic_v3_irq_pending(irq)) { in vgic_v3_flush_hwstate()
2236 } else if (!vgic_v3_irq_pending(irq)) { in vgic_v3_sync_hwstate()