K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2006-09-04T18:28:32.000000Z
K 7
svn:log
V 191
MFC:	1.33

Do as the USII CPU manual suggests and leave interrupts enabled
for a bit before retrying to resend an IPI in order to avoid
deadlocks if the other CPU is also trying to send one.

END