--eHhjakXzOLJAF9wJ
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Tue, Sep 19, 2006 at 01:29:07PM -0700, Matt Thomas wrote:
>=20
> cpu_switch is going away. :)  So if it sets it, now someone else
> will need to.

switch_resume does this job for us after we jump there from
cpu_switchto. The latter also clears curlwp, but as noted in the
comments it doesn't really make sense to do it there. I will add that
to cpu_idle().

Regards,
Daniel

--=20
Daniel Sieger  =20
Faculty of Technology
Bielefeld University

--eHhjakXzOLJAF9wJ
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (SunOS)

iD8DBQFFEFWcJUKmeYzbnToRAsrIAJsGGur0eLvxwJVGi6OODH2DzfL62gCgiJrN
yRqtEA9fnl8s10YPAlzoBns=
=egD/
-----END PGP SIGNATURE-----

--eHhjakXzOLJAF9wJ--