Symbol: tdx_disable_virtualization_cpu
arch/x86/kvm/vmx/main.c
20
tdx_disable_virtualization_cpu();
arch/x86/kvm/vmx/x86_ops.h
130
void tdx_disable_virtualization_cpu(void);