K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2010-02-05T06:36:03.413239Z
K 7
svn:log
V 245
Correct a comment - we are not setting the exception level but rather are
disabling interrupts.

Simplify register usage - we can directly load 'curpcb' into 'k1' after
interrupts are disabled. There is no need to do so indirectly through 'a1'.

END