gic_acpi_setup_kvm_info 2089 drivers/irqchip/irq-gic-v3.c 		gic_acpi_setup_kvm_info();
gic_acpi_setup_kvm_info 1659 drivers/irqchip/irq-gic.c 		gic_acpi_setup_kvm_info();