6170e4aa8e
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>
Bug: 140053385
(cherry picked from commit 5cebfd2d47
https://git.kernel.org/pub/scm/linux/kernel/git/maz/arm-platforms.git irq/ipi-as-irq)
Change-Id: I09396cd3d4fe67609e80ad88d7b12efc10634f86
Signed-off-by: Eric Biggers <ebiggers@google.com>
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 */
|