tsubai e6ae4943c2 Fix a bug in cpu_switch().
Reported by Tad Hunt <tad@entrisphere.com> on port-powerpc.
2001-02-28 20:44:41 +00:00
..
2001-02-28 20:44:41 +00:00