Symbol: tdx_halt
arch/x86/coco/tdx/tdx.c
450
void __cpuidle tdx_halt(void)
arch/x86/include/asm/tdx.h
81
static inline void tdx_halt(void) { };