Searched refs:tdx_vcpu_free (Results 1 – 3 of 3) sorted by relevance
132 void tdx_vcpu_free(struct kvm_vcpu *vcpu);
79 tdx_vcpu_free(vcpu); in vt_vcpu_free()
871 void tdx_vcpu_free(struct kvm_vcpu *vcpu) in tdx_vcpu_free() function