Re: [PATCH v2 00/11] x86/paravirt: several cleanups

From: Peter Zijlstra
Date: Fri Aug 24 2018 - 10:48:47 EST


On Fri, Aug 24, 2018 at 03:52:55PM +0200, Juergen Gross wrote:
> Ping?

Looking good; although I messed it up a little bit by adding a new
paravirt function.

Thanks for doing this!