527 static unsigned long vgic_its_cache_key(u32 devid, u32 eventid)  in vgic_its_cache_key()  argument
529 	return (((unsigned long)devid) << VITS_TYPER_IDBITS) | eventid;  in vgic_its_cache_key()
534 					     u32 devid, u32 eventid)  in vgic_its_check_cache()  argument
536 	unsigned long cache_key = vgic_its_cache_key(devid, eventid);  in vgic_its_check_cache()
540 	if (devid > VITS_MAX_DEVID || eventid > VITS_MAX_EVENTID)  in vgic_its_check_cache()
559 				       u32 devid, u32 eventid,  in vgic_its_cache_translation()  argument
562 	unsigned long cache_key = vgic_its_cache_key(devid, eventid);  in vgic_its_cache_translation()
617 			 u32 devid, u32 eventid, struct vgic_irq **irq)  in vgic_its_resolve_lpi()  argument
625 	ite = find_ite(its, devid, eventid);  in vgic_its_resolve_lpi()
636 	vgic_its_cache_translation(kvm, its, devid, eventid, ite->irq);  in vgic_its_resolve_lpi()
665 				u32 devid, u32 eventid)  in vgic_its_trigger_msi()  argument
671 	err = vgic_its_resolve_lpi(kvm, its, devid, eventid, &irq);  in vgic_its_trigger_msi()