tdx_cpu_enable
int tdx_cpu_enable(void);
r = tdx_cpu_enable();
EXPORT_SYMBOL_FOR_KVM(tdx_cpu_enable);