Re: last minute fix for gnumach

[Marcus Brinkmann]

On Wed, May 22, 2002 at 08:39:11PM -0400, Roland McGrath wrote:
> If you can try this and test that it actually works (halts and comes up
> again properly), then go ahead and put it in.  model_dep.c is a vaguely
> reasonable place for the function.

Oh, and does it really make sense to have machine_idle (int cpu), rather
than just machine_idle (void) to just idle the current cpu?

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org address@hidden
Marcus Brinkmann              GNU    http://www.gnu.org    address@hidden
address@hidden
http://www.marcus-brinkmann.de