ARM: Handle no IPI being registered in show_ipi_list()
authorMarc Zyngier <maz@kernel.org>
Fri, 25 Sep 2020 15:22:00 +0000 (16:22 +0100)
committerMarc Zyngier <maz@kernel.org>
Mon, 28 Sep 2020 10:32:04 +0000 (11:32 +0100)
commit220387048d859896ccc362c0ebf9bc1e0fa62eb9
tree4f6cf0bef67313ec278bd38b0829f302209d7dbc
parentac15a54e03d13686d2fc016a88311801b0734046
ARM: Handle no IPI being registered in show_ipi_list()

As SMP-on-UP is a valid configuration on 32bit ARM, do not assume that
IPIs are populated in show_ipi_list().

Reported-by: Guillaume Tucker <guillaume.tucker@collabora.com>
Reported-by: kernelci.org bot <bot@kernelci.org>
Tested-by: Guillaume Tucker <guillaume.tucker@collabora.com>
Signed-off-by: Marc Zyngier <maz@kernel.org>
arch/arm/kernel/smp.c