Searched defs:vgic_v3_irq (Results 1 – 1 of 1) sorted by relevance
94 struct vgic_v3_irq { struct97 struct mtx irq_spinmtx;98 uint64_t mpidr;99 int target_vcpu;100 uint32_t irq;124 struct vgic_v3_irq *irqs; argument