K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2010-07-06T15:27:05.894287Z
K 7
svn:log
V 211
Move the EOI logic when starting ithreads into intr_machdep instead of
relying on it as a side effect of PIC_MASK() in the PIC drivers, and add
an inmplementation of assign_cpu() for the kernel interrupt layer.

END