Searched refs:vgic_its_cache_key (Results 1 – 1 of 1) sorted by relevance
562 static unsigned long vgic_its_cache_key(u32 devid, u32 eventid) in vgic_its_cache_key() function571 unsigned long cache_key = vgic_its_cache_key(devid, eventid); in vgic_its_check_cache()597 unsigned long cache_key = vgic_its_cache_key(devid, eventid); in vgic_its_cache_translation()