no_vgic          1050 virt/kvm/arm/arch_timer.c 		goto no_vgic;
no_vgic          1079 virt/kvm/arm/arch_timer.c no_vgic: