bde 717b884d1e 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.
1995-01-21 15:34:03 +00:00
..
1995-01-20 08:35:32 +00:00
1995-01-20 08:35:32 +00:00
1995-01-12 13:57:51 +00:00
1995-01-12 13:06:32 +00:00
1994-12-13 22:33:05 +00:00
1994-08-02 07:55:43 +00:00
1994-08-02 07:55:43 +00:00