K 10
svn:author
V 2
br
K 8
svn:date
V 27
2019-05-07T14:32:17.291950Z
K 7
svn:log
V 190
Disable interrupts first and then set spinlock_count to 1.
Otherwise interrupt can be generated just after setting spinlock_count
and before disabling interrupts.

Sponsored by:	DARPA, AFRL

END