Symbol: tdx_vcpu_load
arch/x86/kvm/vmx/main.c
99
tdx_vcpu_load(vcpu, cpu);
arch/x86/kvm/vmx/x86_ops.h
133
void tdx_vcpu_load(struct kvm_vcpu *vcpu, int cpu);