Symbol: tdx_hardware_setup
arch/x86/kvm/vmx/main.c
32
return enable_tdx ? tdx_hardware_setup() : 0;
arch/x86/kvm/vmx/tdx.h
10
int tdx_hardware_setup(void);