1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ASM_ARM_IRQ_WORK_H
3 #define __ASM_ARM_IRQ_WORK_H
5 #include <asm/smp_plat.h>
7 static inline bool arch_irq_work_has_interrupt(void)
12 extern void arch_irq_work_raise(void);
14 #endif /* _ASM_ARM_IRQ_WORK_H */