Fix sending IPI to all CPUs on ARM64
authorzbb <zbb@FreeBSD.org>
Fri, 29 Jan 2016 18:43:51 +0000 (18:43 +0000)
committerzbb <zbb@FreeBSD.org>
Fri, 29 Jan 2016 18:43:51 +0000 (18:43 +0000)
commit06c93e5cef7669f0580e7cd320df054124e95f35
tree831199de4baee81b942df3b669ff8ee38f8788ad
parent18d86c1c9d2a2a9531145bee3aa15f7a036ee033
Fix sending IPI to all CPUs on ARM64

There is no explanation why IPI ID is incremented here by "16".
This should have been removed in r285533 but somehow survived.

Reviewed by:   wma
Obtained from: Semihalf
Sponsored by:  Cavium
Differential Revision: https://reviews.freebsd.org/D5120
sys/arm64/arm64/intr_machdep.c