K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2006-04-13T17:29:04.000000Z
K 7
svn:log
V 133
Turn on ithread_destroy() and call it from intr_event_destroy() to tear
down an interrupt event's associated thread (if it has one).

END