Searched defs:cache_key (Results 1 – 1 of 1) sorted by relevance
536 unsigned long cache_key = vgic_its_cache_key(devid, eventid); in vgic_its_check_cache() local562 unsigned long cache_key = vgic_its_cache_key(devid, eventid); in vgic_its_cache_translation() local