Symbol: early_tdx_detect
arch/x86/boot/compressed/misc.c
443
early_tdx_detect();
arch/x86/boot/compressed/tdx.h
8
void early_tdx_detect(void);