nested_ept_uninit_mmu_context 3829 arch/x86/kvm/vmx/nested.c 	nested_ept_uninit_mmu_context(vcpu);
nested_ept_uninit_mmu_context 3995 arch/x86/kvm/vmx/nested.c 	nested_ept_uninit_mmu_context(vcpu);