On Mon, Jun 23, 2014 at 10:14:25PM +0200, Marc Glisse wrote:
> On Mon, 23 Jun 2014, Andi Kleen wrote:
> 
> >I would prefer to not do it.
> 
> For the sake of micro benchmarks?

Yes benchmarks are important.

-Andi

Reply via email to