Symbol: evmcs_read64
arch/x86/kvm/vmx/vmx_ops.h
174
return evmcs_read64(field);
arch/x86/kvm/vmx/vmx_ops.h
186
return evmcs_read64(field);