K 10
svn:author
V 5
tegge
K 8
svn:date
V 27
1998-03-03T19:54:49.000000Z
K 7
svn:log
V 143
When sending an IPI to a specific target, disable interrupts inside the
critical region in order to avoid sending the IPI to the wrong target.

END