GIC_V3
case GIC_V3:
.type = GIC_V3,
gic_v3_kvm_info.type = GIC_V3;
gic_v3_kvm_info.type = GIC_V3;
gic_init(GIC_V3, test_args.nr_vcpus);
gic_init(GIC_V3, 1);
gic_init(GIC_V3, 1);
gic_init(GIC_V3, 2);
gic_init(GIC_V3, 2);
gic_init(GIC_V3, 2);
gic_init(GIC_V3, test_data.nr_cpus);
if (type == GIC_V3)