K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2010-08-09T20:25:06.074481Z
K 7
svn:log
V 155
Simplify the logic for handling ipi_selected() and ipi_cpu() in the
amd64/i386 case.

Reviewed by:	jhb
Tested by:	gianni
MFC after:	1 month
X-MFC:		210939

END