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,