1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Texas Instruments' K3 TI SCI INTA MSI helper
4  *
5  * Copyright (C) 2018-2019 Texas Instruments Incorporated - https://www.ti.com/
6  *	Lokesh Vutla <lokeshvutla@ti.com>
7  */
8 
9 #ifndef __INCLUDE_LINUX_TI_SCI_INTA_MSI_H
10 #define __INCLUDE_LINUX_TI_SCI_INTA_MSI_H
11 
12 #include <linux/msi.h>
13 #include <linux/soc/ti/ti_sci_protocol.h>
14 
15 struct irq_domain
16 *ti_sci_inta_msi_create_irq_domain(struct fwnode_handle *fwnode,
17 				   struct msi_domain_info *info,
18 				   struct irq_domain *parent);
19 int ti_sci_inta_msi_domain_alloc_irqs(struct device *dev,
20 				      struct ti_sci_resource *res);
21 unsigned int ti_sci_inta_msi_get_virq(struct device *dev, u32 index);
22 void ti_sci_inta_msi_domain_free_irqs(struct device *dev);
23 #endif /* __INCLUDE_LINUX_IRQCHIP_TI_SCI_INTA_H */
24