K 10
svn:author
V 3
zbb
K 8
svn:date
V 27
2016-01-29T18:43:51.233620Z
K 7
svn:log
V 288
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

END