Symbol: tdx_early_init
arch/x86/include/asm/tdx.h
59
void __init tdx_early_init(void);
arch/x86/kernel/head64.c
279
tdx_early_init();