5cebfd2d47
The old IPI registration interface is now unused on arm64, so let's get rid of it. Reviewed-by: Valentin Schneider <valentin.schneider@arm.com> Acked-by: Catalin Marinas <catalin.marinas@arm.com> Signed-off-by: Marc Zyngier <maz@kernel.org>
11 lines
192 B
C
11 lines
192 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef __ASM_IRQ_WORK_H
|
|
#define __ASM_IRQ_WORK_H
|
|
|
|
static inline bool arch_irq_work_has_interrupt(void)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
#endif /* __ASM_IRQ_WORK_H */
|