18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef __ASM_ARM_IRQ_WORK_H
38c2ecf20Sopenharmony_ci#define __ASM_ARM_IRQ_WORK_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#include <asm/smp_plat.h>
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_cistatic inline bool arch_irq_work_has_interrupt(void)
88c2ecf20Sopenharmony_ci{
98c2ecf20Sopenharmony_ci	return is_smp();
108c2ecf20Sopenharmony_ci}
118c2ecf20Sopenharmony_ci
128c2ecf20Sopenharmony_ci#endif /* _ASM_ARM_IRQ_WORK_H */
13