arm64: smp: Support non-PPIs for IPIs

Signed-off-by: Marc Zyngier <maz@kernel.org>
2 files changed