Searched defs:vgic_v3_inject_irq (Results 1 – 1 of 1) sorted by relevance
148 static vgic_inject_irq_t vgic_v3_inject_irq; variable2011 vgic_v3_inject_irq(device_t dev, struct hyp *hyp, int vcpuid, uint32_t irqid, in vgic_v3_inject_irq() function