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