Fix IPIs on systems with multiple clusters where the CPU interface
authorkettenis <kettenis@openbsd.org>
Sat, 16 Jul 2022 12:07:55 +0000 (12:07 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 16 Jul 2022 12:07:55 +0000 (12:07 +0000)
commitcb3eb802171cbe5fa628ff7a8403b2da66807973
tree5553416f25b932df1ea5c7d33e48ea44c7747a0d
parenta2ef92f0da75132aeac812148932405a2fee7a0f
Fix IPIs on systems with multiple clusters where the CPU interface
numbers don't necessarily match the CPU numbers used by our kernel.

Seen on an Amlogic S922X SoC where cluster 0 consists of two Cortex-A53
cores and cluster 1 consists of four Cortes-A73 cores.

ok anton@
sys/arch/arm64/dev/ampintc.c