Symbol: __vgic_doorbell_to_its
arch/arm64/kvm/vgic/vgic-its.c
540
its = __vgic_doorbell_to_its(kvm, db);
arch/arm64/kvm/vgic/vgic-its.c
661
return __vgic_doorbell_to_its(kvm, address);