Symbol: vgic_its_cache_key
arch/arm64/kvm/vgic/vgic-its.c
533
unsigned long cache_key = vgic_its_cache_key(devid, eventid);
arch/arm64/kvm/vgic/vgic-its.c
559
unsigned long cache_key = vgic_its_cache_key(devid, eventid);