Symbol: evmcs_write64
arch/x86/kvm/vmx/vmx_ops.h
252
return evmcs_write64(field, value);
arch/x86/kvm/vmx/vmx_ops.h
264
return evmcs_write64(field, value);