K 10 svn:author V 3 jhb K 8 svn:date V 27 2001-02-09T17:47:44.000000Z K 7 svn:log V 63 Use the MI ithread helper functions in the x86 interrupt code. END