K 10 svn:author V 5 benno K 8 svn:date V 27 2002-02-28T11:57:47.000000Z K 7 svn:log V 124 - Prevent the decrementer interrupt handler from nesting. - Catch some more cases of PSL_EE and PSL_RI getting out of sync. END