Symbol: TDVMCALL_GET_TD_VM_CALL_INFO
arch/x86/kvm/vmx/tdx.c
1527
vcpu->run->tdx.nr = TDVMCALL_GET_TD_VM_CALL_INFO;
arch/x86/kvm/vmx/tdx.c
1599
case TDVMCALL_GET_TD_VM_CALL_INFO: