On Wed, Mar 25, 2020 at 11:23:41AM +0100, Vitaly Kuznetsov wrote: > Sean Christopherson <sean.j.christopherson@xxxxxxxxx> writes: > I *think* I've commented on the previous version that we also have > hyperv-style PV TLB flush and this will likely need to be switched to > tlb_flush_guest(). Oh, you most definitely commented about HyperV's PV TLB flush, looking at that code is what led me down this rabbit hole :-)
