K 10
svn:author
V 3
dfr
K 8
svn:date
V 27
2002-03-14T00:28:10.000000Z
K 7
svn:log
V 174
Don't restore r13 when returning to kernel mode. We may have migrated to
a different cpu since the exception_save and r13 needs to point at the
current cpu's pcpu structure.

END