K 10 svn:author V 5 kmacy K 8 svn:date V 27 2008-11-08T02:02:13.173582Z K 7 svn:log V 138 add memory barrier before critical_exit to ensure that all buffered updates are committed to main memory before a preemption is permitted END