K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2010-03-22T03:55:18.509939Z
K 7
svn:log
V 405
Fix interrupt handling by extending the critical region so that
preemption doesn't happen until after all pending interrupt have
been services.
While here again, simplify the EOI handling by doing it after we
call the XIV-specific handlers, rather than in each of them. The
original thought was that we may want to do an EOI first and the
actual IPI handling next, but that's mostly a micro-optimization.

END