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();