aarch64: smp: make the cross-CPU swap_ptables call use its own IPI

Let's disentangle this from arch_sched_ipi() with an SGI for its
own purpose.

Signed-off-by: Nicolas Pitre <npitre@baylibre.com>
3 files changed