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