Lines Matching defs:devid
151 u32 devid;
550 u32 devid, u32 eventid)
562 if (cte->db != db || cte->devid != devid ||
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))
639 cte->devid = devid;
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);
763 irq = vgic_its_check_cache(kvm, db, msi->devid, msi->data);
794 ret = vgic_its_trigger_msi(kvm, its, msi->devid, msi->data);