gic_of_setup_kvm_info 1700 drivers/irqchip/irq-gic-v3.c static void __init gic_of_setup_kvm_info(struct device_node *node) gic_of_setup_kvm_info 1405 drivers/irqchip/irq-gic.c static void __init gic_of_setup_kvm_info(struct device_node *node)