Symbol: tdx_sys_disable
arch/x86/include/asm/tdx.h
184
static inline void tdx_sys_disable(void) { }
arch/x86/virt/vmx/tdx/tdx.c
2006
void tdx_sys_disable(void)