K 10 svn:author V 6 mjacob K 8 svn:date V 27 2000-10-30T04:18:54.000000Z K 7 svn:log V 133 Remember to decrement interrupt nesting level if leaving early (in the unlikely case we get a clock interrupt on a non-primary CPU). END