acpi_set_irq_model 2086 drivers/irqchip/irq-gic-v3.c acpi_set_irq_model(ACPI_IRQ_MODEL_GIC, domain_handle); acpi_set_irq_model 1653 drivers/irqchip/irq-gic.c acpi_set_irq_model(ACPI_IRQ_MODEL_GIC, domain_handle); acpi_set_irq_model 315 include/linux/acpi.h void acpi_set_irq_model(enum acpi_irq_model_id model,