Symbol: vgic_host_has_gicv3
arch/arm64/kvm/sys_regs.c
2068
if (vgic_host_has_gicv3()) {
arch/arm64/kvm/vgic/vgic-v3.c
508
if (!vgic_host_has_gicv3())