gic_acpi_setup_kvm_info 2009 drivers/irqchip/irq-gic-v3.c static void __init gic_acpi_setup_kvm_info(void)
gic_acpi_setup_kvm_info 1563 drivers/irqchip/irq-gic.c static void __init gic_acpi_setup_kvm_info(void)