Symbol: tdx_set_msr
arch/x86/kvm/vmx/main.c
166
return tdx_set_msr(vcpu, msr_info);
arch/x86/kvm/vmx/x86_ops.h
148
int tdx_set_msr(struct kvm_vcpu *vcpu, struct msr_data *msr);