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