Symbol: nested_get_evmcs_page
arch/x86/kvm/vmx/nested.c
3516
if (!nested_get_evmcs_page(vcpu)) {
arch/x86/kvm/vmx/nested.c
5069
(void)nested_get_evmcs_page(vcpu);