K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2010-08-11T10:51:27.366229Z
K 7
svn:log
V 283
IPI handlers may run generally with interrupts disabled because they
are served via an interrupt gate.

However, that doesn't explicitly prevent preemption and thread
migration thus scheduler pinning may be necessary in some handlers.
Fix that.

Tested by:	gianni
MFC after:	1 month

END