K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2011-07-25T18:17:11.004092Z
K 7
svn:log
V 273
MFC: r223126 (partial)

Don't include curcpu in the mask which is used as the IPI cookie as we
have to ignore it when sending the IPI anyway. Actually I can't think of
a good reason why this ever was done that way in the first place as it's
not even usefull for debugging.

END