K 10 svn:author V 3 mjg K 8 svn:date V 27 2018-05-22T19:24:57.415550Z K 7 svn:log V 121 Move preemption handling out of critical_exit. In preperataion for making the enter/exit pair inline. Reviewed by: kib END