Symbol: tdx_init
arch/x86/include/asm/tdx.h
111
void tdx_init(void);
arch/x86/kernel/cpu/common.c
2164
tdx_init();