Re: last minute fix for gnumach

> 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?

It really doesn't matter.  This stuff will be changed by the time SMP works.