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
12#endif /* _ASM_ARM_IRQ_WORK_H */