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

Peter Zijlstra
2018-08-24T14:13:14Z

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!