Symbol: kvm_vgic_addr
arch/arm64/kvm/vgic/vgic-kvm-device.c
217
r = kvm_vgic_addr(dev->kvm, attr, true);
arch/arm64/kvm/vgic/vgic-kvm-device.c
298
r = kvm_vgic_addr(dev->kvm, attr, false);