Symbol: vgic_is_v3
arch/arm64/kvm/arch_timer.c
1288
vgic_is_v3(kvm_get_running_vcpu()->kvm));
arch/arm64/kvm/vgic/vgic.c
1066
if (vgic_is_v3(vcpu->kvm)) {