K 10
svn:author
V 6
dillon
K 8
svn:date
V 27
2002-02-26T18:08:54.000000Z
K 7
svn:log
V 152
Make peter's commit compatible with interrupt-enabled critical_enter()
and exit(), which has already solved the problem in regards to deadlocked
IPI's.

END