On Tue, Sep 25, 2018 at 07:58:38PM +0200, Vitaly Kuznetsov wrote: > Add an option to specify which MMU root we want to free. This will > be used when nested and non-nested MMUs for L1 are split. > > Signed-off-by: Vitaly Kuznetsov <vkuznets@xxxxxxxxxx> > Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> > --- Reviewed-by: Sean Christopherson <sean.j.christopherson@xxxxxxxxx>