K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-04-27T20:01:59.370155Z
K 7
svn:log
V 134
There is no difference between IPI_STOP and IPI_STOP_HARD on ARM, so
map them both to the same interrupt number like other arches do.

END