Symbol: tdx_early_init
arch/x86/coco/tdx/tdx.c
1113
void __init tdx_early_init(void)
arch/x86/include/asm/tdx.h
80
static inline void tdx_early_init(void) { };