Lines Matching defs:devid
151 u32 devid;
553 u32 devid, u32 eventid)
565 if (cte->db != db || cte->devid != devid ||
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))
642 cte->devid = devid;
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);
766 irq = vgic_its_check_cache(kvm, db, msi->devid, msi->data);
797 ret = vgic_its_trigger_msi(kvm, its, msi->devid, msi->data);