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