scheduling

[Leigh Stoller]

> From: Eddie Kohler <eddietwo at naugabutt.lcs.mit.edu>
> Subject: Re: scheduling 
> 
> I don't think round-robin is "deprecated past the point of no return" :)
> but I do think in this case, the code has rotted. reschedule() should be
> called even if RR_SCHED is defined. THanks!

Okay, thanks! You might want to check in a few other spots for the same
problem.  polldevice.cc, todevice.cc, etc.

Thanks
Lbs
ps: naugabutt?