1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_S390_MSI_H
3 #define _ASM_S390_MSI_H
4 #include <asm-generic/msi.h>
7 * Work around S390 not using irq_domain at all so we can't set
8 * IRQ_DOMAIN_FLAG_ISOLATED_MSI. See for an explanation how it works:
12 * Note this is less isolated than the ARM/x86 versions as userspace can trigger
13 * MSI belonging to kernel devices within the same gisa.
15 #define arch_is_isolated_msi() true