Symbol: handle_cpuid
arch/x86/coco/tdx/tdx.c
821
return handle_cpuid(regs, ve);
arch/x86/coco/tdx/tdx.c
849
return handle_cpuid(regs, ve);