Searched refs:tdx_get_msr (Results 1 – 3 of 3) sorted by relevance
147 int tdx_get_msr(struct kvm_vcpu *vcpu, struct msr_data *msr);
186 return tdx_get_msr(vcpu, msr_info); in vt_get_msr()
2157 int tdx_get_msr(struct kvm_vcpu *vcpu, struct msr_data *msr) in tdx_get_msr() function