K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2009-12-23T20:23:04.464667Z
K 7
svn:log
V 271
Don't use an out register to hold the vector number across the call
of the interrupt handler in intr_fast() as the handler might clobber
it (no in-tree handler currently does but an upcoming one will).
While at it, tidy the register usage in the interrupt counting code.

END