Symbol: tdx_hardware_unsetup
arch/x86/kvm/vmx/main.c
38
tdx_hardware_unsetup();
arch/x86/kvm/vmx/tdx.h
11
void tdx_hardware_unsetup(void);