151 	u32			devid;  member
553 					       u32 devid, u32 eventid)  in __vgic_its_check_cache()  argument
565 		if (cte->db != db || cte->devid != devid ||  in __vgic_its_check_cache()
583 					     u32 devid, u32 eventid)  in vgic_its_check_cache()  argument
591 	irq = __vgic_its_check_cache(dist, db, devid, eventid);  in vgic_its_check_cache()
601 				       u32 devid, u32 eventid,  in vgic_its_cache_translation()  argument
624 	if (__vgic_its_check_cache(dist, db, devid, eventid))  in vgic_its_cache_translation()
642 	cte->devid	= devid;  in vgic_its_cache_translation()
677 			 u32 devid, u32 eventid, struct vgic_irq **irq)  in vgic_its_resolve_lpi()  argument
685 	ite = find_ite(its, devid, eventid);  in vgic_its_resolve_lpi()
696 	vgic_its_cache_translation(kvm, its, devid, eventid, ite->irq);  in vgic_its_resolve_lpi()
738 				u32 devid, u32 eventid)  in vgic_its_trigger_msi()  argument
744 	err = vgic_its_resolve_lpi(kvm, its, devid, eventid, &irq);  in vgic_its_trigger_msi()
766 	irq = vgic_its_check_cache(kvm, db, msi->devid, msi->data);  in vgic_its_inject_cached_translation()
797 	ret = vgic_its_trigger_msi(kvm, its, msi->devid, msi->data);  in vgic_its_inject_msi()