Lines Matching defs:eventid
152 u32 eventid;
553 u32 devid, u32 eventid)
566 cte->eventid != eventid)
583 u32 devid, u32 eventid)
591 irq = __vgic_its_check_cache(dist, db, devid, eventid);
601 u32 devid, u32 eventid,
624 if (__vgic_its_check_cache(dist, db, devid, eventid))
643 cte->eventid = eventid;
677 u32 devid, u32 eventid, struct vgic_irq **irq)
685 ite = find_ite(its, devid, eventid);
696 vgic_its_cache_translation(kvm, its, devid, eventid, ite->irq);
731 * Find the target VCPU and the LPI number for a given devid/eventid pair
738 u32 devid, u32 eventid)
744 err = vgic_its_resolve_lpi(kvm, its, devid, eventid, &irq);