1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _LINUX_IRQDOMAIN_DEFS_H
3#define _LINUX_IRQDOMAIN_DEFS_H
4
5/*
6 * Should several domains have the same device node, but serve
7 * different purposes (for example one domain is for PCI/MSI, and the
8 * other for wired IRQs), they can be distinguished using a
9 * bus-specific token. Most domains are expected to only carry
10 * DOMAIN_BUS_ANY.
11 */
12enum irq_domain_bus_token {
13	DOMAIN_BUS_ANY		= 0,
14	DOMAIN_BUS_WIRED,
15	DOMAIN_BUS_GENERIC_MSI,
16	DOMAIN_BUS_PCI_MSI,
17	DOMAIN_BUS_PLATFORM_MSI,
18	DOMAIN_BUS_NEXUS,
19	DOMAIN_BUS_IPI,
20	DOMAIN_BUS_FSL_MC_MSI,
21	DOMAIN_BUS_TI_SCI_INTA_MSI,
22	DOMAIN_BUS_WAKEUP,
23	DOMAIN_BUS_VMD_MSI,
24	DOMAIN_BUS_PCI_DEVICE_MSI,
25	DOMAIN_BUS_PCI_DEVICE_MSIX,
26	DOMAIN_BUS_DMAR,
27	DOMAIN_BUS_AMDVI,
28	DOMAIN_BUS_PCI_DEVICE_IMS,
29	DOMAIN_BUS_DEVICE_MSI,
30	DOMAIN_BUS_WIRED_TO_MSI,
31};
32
33#endif /* _LINUX_IRQDOMAIN_DEFS_H */
34