Sean Christopherson <sean.j.christopherson@xxxxxxxxx> writes: > 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 :-) Ah, I was just worried it's Groundhog Day all over again :-) And I didn't see you touching hyperv.c -- Vitaly