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