K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1995-01-21T15:34:03.000000Z
K 7
svn:log
V 249
Don't use mi_switch() to terminate cpu_exit().  Calling it just happened to
work (mi_switch() counted the last timeslice again but this didn't affect
the exiting process' rusage because the rusage has already been finalized).

Remove stale comment.

END