Searched refs:tdx_vcpu_put (Results 1 – 3 of 3) sorted by relevance
137 void tdx_vcpu_put(struct kvm_vcpu *vcpu);
131 tdx_vcpu_put(vcpu); in vt_vcpu_put()
835 void tdx_vcpu_put(struct kvm_vcpu *vcpu) in tdx_vcpu_put() function