Symbol: vmcs_check64
arch/x86/kvm/vmx/vmx_ops.h
173
vmcs_check64(field);
arch/x86/kvm/vmx/vmx_ops.h
250
vmcs_check64(field);