__vgic_its_check_cache  577 virt/kvm/arm/vgic/vgic-its.c 	irq = __vgic_its_check_cache(dist, db, devid, eventid);
__vgic_its_check_cache  607 virt/kvm/arm/vgic/vgic-its.c 	if (__vgic_its_check_cache(dist, db, devid, eventid))