K 10
svn:author
V 5
kmacy
K 8
svn:date
V 27
2006-11-08T22:09:58.000000Z
K 7
svn:log
V 257
Fix for ithread interrupt handling. Don't reset the interrupt vector until
after the interrupt has been handled. Also move panic_bad_hcall to local to
avoid complaints from the linker on the tinderbox.

Approved by: scottl (substituting for mentor rwatson)

END