On Mon, 2017-03-27 at 12:49 +0100, George Dunlap wrote:
> On 17/03/17 18:19, Dario Faggioli wrote:
> > Fix this by dealing explicitly, in VCPU2OP, with
> > idle vcpus, returning the scheduler of the pCPU
> > they (always) run on.
> > 
> > While there, rename VCPU2OP itself to something
> > that makes it easier to understand what it does.
> 
> This seems to have been moved into patch 2/2 -- I'll remove this
> paragraph on commit if that's OK with you.
> 
Mmm... Yes, sorry for this.

I'm ok with you dropping the paragraph. Thanks.

Dario
-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)