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_DEVICE_MSI,
29 DOMAIN_BUS_WIRED_TO_MSI,
30};
31
32#endif /* _LINUX_IRQDOMAIN_DEFS_H */
33