Symbol: gic_dist_init
drivers/irqchip/irq-gic-v3.c
2051
gic_dist_init();
drivers/irqchip/irq-gic.c
1218
gic_dist_init(gic);
tools/testing/selftests/kvm/lib/arm64/gic.c
58
gic_dist_init(type, nr_cpus);