Loading...
1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __ASM_ARM_IRQ_WORK_H
3#define __ASM_ARM_IRQ_WORK_H
4
5#include <asm/smp_plat.h>
6
7static inline bool arch_irq_work_has_interrupt(void)
8{
9 return is_smp();
10}
11
12extern void arch_irq_work_raise(void);
13
14#endif /* _ASM_ARM_IRQ_WORK_H */