Symbol: tdvmcall_leaf
arch/x86/kvm/vmx/tdx.c
1594
switch (tdvmcall_leaf(vcpu)) {
arch/x86/kvm/vmx/tdx.c
919
switch (tdvmcall_leaf(vcpu)) {
arch/x86/kvm/vmx/tdx.c
925
return tdvmcall_leaf(vcpu);