K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-01-04T23:56:17.000000Z K 7 svn:log V 131 Fully catch up to the recent critical section API change. Update the content of the manpage and document cpu_critical_enter/exit. END