nested_release_evmcs  269 arch/x86/kvm/vmx/nested.c 	nested_release_evmcs(vcpu);
nested_release_evmcs 1836 arch/x86/kvm/vmx/nested.c 		nested_release_evmcs(vcpu);
nested_release_evmcs 1868 arch/x86/kvm/vmx/nested.c 			nested_release_evmcs(vcpu);