X86_FEATURE_TDX_HOST_PLATFORM
if (!cpu_feature_enabled(X86_FEATURE_TDX_HOST_PLATFORM)) {
if (!boot_cpu_has(X86_FEATURE_TDX_HOST_PLATFORM))
if (!boot_cpu_has(X86_FEATURE_TDX_HOST_PLATFORM))
setup_force_cpu_cap(X86_FEATURE_TDX_HOST_PLATFORM);
if (!boot_cpu_has(X86_FEATURE_TDX_HOST_PLATFORM))