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 */ 13