3  * ACPI GSI IRQ layer
18  * acpi_gsi_to_irq() - Retrieve the linux irq number for a given GSI
19  * @gsi: GSI IRQ number to map
27 int acpi_gsi_to_irq(u32 gsi, unsigned int *irq)  in acpi_gsi_to_irq()  argument
32 	*irq = irq_find_mapping(d, gsi);  in acpi_gsi_to_irq()
42  * acpi_register_gsi() - Map a GSI to a linux IRQ number
44  * @gsi: GSI IRQ number
45  * @trigger: trigger type of the GSI number to be mapped
46  * @polarity: polarity of the GSI to be mapped
51 int acpi_register_gsi(struct device *dev, u32 gsi, int trigger,  in acpi_register_gsi()  argument
58 		pr_warn("GSI: No registered irqchip, giving up\n");  in acpi_register_gsi()
63 	fwspec.param[0] = gsi;  in acpi_register_gsi()
76  * acpi_unregister_gsi() - Free a GSI<->linux IRQ number mapping
77  * @gsi: GSI IRQ number
79 void acpi_unregister_gsi(u32 gsi)  in acpi_unregister_gsi()  argument
83 	int irq = irq_find_mapping(d, gsi);  in acpi_unregister_gsi()
289  * acpi_set_irq_model - Setup the GSI irqdomain information
292  *          GSI interrupts
303  *                             GSI domain as its parent.