Symbol: VGIC_V5
arch/arm64/kvm/arch_timer.c
1287
(kvm_vgic_global_state.type == VGIC_V5 &&
arch/arm64/kvm/arch_timer.c
1368
kvm_vgic_global_state.type == VGIC_V5) {
arch/arm64/kvm/vgic/vgic-init.c
647
type = VGIC_V5;
arch/arm64/kvm/vgic/vgic-v5.c
46
kvm_vgic_global_state.type = VGIC_V5;
arch/arm64/kvm/vgic/vgic.h
482
return kvm_vgic_global_state.type == VGIC_V5;