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