GIC_V3           1706 drivers/irqchip/irq-gic-v3.c 	gic_v3_kvm_info.type = GIC_V3;
GIC_V3           2018 drivers/irqchip/irq-gic-v3.c 	gic_v3_kvm_info.type = GIC_V3;
GIC_V3            513 virt/kvm/arm/vgic/vgic-init.c 	case GIC_V3: