Symbol: gic_acpi_setup_kvm_info
drivers/irqchip/irq-gic-v3.c
2497
static void __init gic_acpi_setup_kvm_info(void)
drivers/irqchip/irq-gic.c
1596
static void __init gic_acpi_setup_kvm_info(void)