Lines Matching refs:eventid
152 u32 eventid;
550 u32 devid, u32 eventid)
563 cte->eventid != eventid)
580 u32 devid, u32 eventid)
588 irq = __vgic_its_check_cache(dist, db, devid, eventid);
598 u32 devid, u32 eventid,
621 if (__vgic_its_check_cache(dist, db, devid, eventid))
640 cte->eventid = eventid;
674 u32 devid, u32 eventid, struct vgic_irq **irq)
682 ite = find_ite(its, devid, eventid);
693 vgic_its_cache_translation(kvm, its, devid, eventid, ite->irq);
728 * Find the target VCPU and the LPI number for a given devid/eventid pair
735 u32 devid, u32 eventid)
741 err = vgic_its_resolve_lpi(kvm, its, devid, eventid, &irq);