Symbol: tdx_init
arch/x86/include/asm/tdx.h
225
static inline void tdx_init(void) { }
arch/x86/virt/vmx/tdx/tdx.c
1412
void __init tdx_init(void)