Searched refs:tdx_vcpu_ioctl (Results 1 – 3 of 3) sorted by relevance
151 int tdx_vcpu_ioctl(struct kvm_vcpu *vcpu, void __user *argp);
831 return tdx_vcpu_ioctl(vcpu, argp); in vt_vcpu_mem_enc_ioctl()
3288 int tdx_vcpu_ioctl(struct kvm_vcpu *vcpu, void __user *argp) in tdx_vcpu_ioctl() function