On Mon, Dec 22, 2014 at 11:34:30AM -0200, Marcelo Tosatti wrote: > > It would be even nicer, though, if we could do much the same thing but > > without worrying about which vcpu we're on. > > > > Thoughts? Am I missing some considerations here? > > Maybe we can find another optimization opportunities?