On 23/03/20 17:44, Sean Christopherson wrote:
> So I think
>
> Fixes: 14c07ad89f4d ("x86/kvm/mmu: introduce guest_mmu")
>
> would be appropriate?
>
Yes. I changed it and also added the comment
+ /*
+ * Nested EPT roots are always held through guest_mmu,
+ * not root_mmu.
+ */
which isn't unlike what you suggested elsewhere in the thread.
Paolo
