Symbol: nested_vmx_is_evmptr12_set
arch/x86/kvm/vmx/nested.c
188
if (nested_vmx_is_evmptr12_set(to_vmx(vcpu)))
arch/x86/kvm/vmx/nested.c
6760
if (nested_vmx_is_evmptr12_set(vmx))
arch/x86/kvm/vmx/nested.h
85
nested_vmx_is_evmptr12_set(vmx);