1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_S390_IRQ_WORK_H 3 #define _ASM_S390_IRQ_WORK_H 4 5 static inline bool arch_irq_work_has_interrupt(void) 6 { 7 return true; 8 } 9 10 void arch_irq_work_raise(void); 11 12 #endif /* _ASM_S390_IRQ_WORK_H */ 13