Searched refs:tdx_vcpu_load (Results 1 – 3 of 3) sorted by relevance
134 void tdx_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
99 tdx_vcpu_load(vcpu, cpu); in vt_vcpu_load()
713 void tdx_vcpu_load(struct kvm_vcpu *vcpu, int cpu) in tdx_vcpu_load() function