Symbol: tdx_halt
arch/x86/coco/tdx/tdx.c
1182
pv_ops.irq.halt = tdx_halt;
arch/x86/coco/tdx/tdx.c
463
tdx_halt();
arch/x86/include/asm/tdx.h
65
void tdx_halt(void);
arch/x86/kernel/process.c
954
static_call_update(x86_idle, tdx_halt);