K 10
svn:author
V 3
dfr
K 8
svn:date
V 27
2002-03-14T10:24:00.000000Z
K 7
svn:log
V 364
* Add some KTR messages for IPIs.
* Don't call ast() from interrupt() - if we switch, then we will miss
  writing cr.eoi which will prevent the current cpu from receiving
  interrupts until the current thread is resumed. The call to ast()
  happens magically in exception_restore where it is safe.
* Add DDB 'show irq' command to examine interrupt hardware state.

END