Symbol: gic_acpi_setup_kvm_info
drivers/irqchip/irq-gic-v3.c
2586
gic_acpi_setup_kvm_info();
drivers/irqchip/irq-gic.c
1699
gic_acpi_setup_kvm_info();