Symbol: tdx_read_cpuid
arch/x86/kvm/vmx/tdx.c
2984
ret = tdx_read_cpuid(vcpu, leaf, 0, false, entry_index, output_e);
arch/x86/kvm/vmx/tdx.c
2996
if (tdx_read_cpuid(vcpu, leaf, sub_leaf, true, entry_index, output_e))