gic_of_setup_kvm_info 1782 drivers/irqchip/irq-gic-v3.c 		gic_of_setup_kvm_info(node);
gic_of_setup_kvm_info 1462 drivers/irqchip/irq-gic.c 		gic_of_setup_kvm_info(node);