K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2015-03-01T02:31:27.425787Z
K 7
svn:log
V 271
Free up the IPI slot used by IPI_STOP_HARD.

Change the numeric value of IPI_STOP_HARD so it doesn't occupy a valid IPI
slot. This can be done because IPI_STOP_HARD is actually delivered via NMI.

Reviewed by:	kib
Differential Revision:	https://reviews.freebsd.org/D1983

END