/* SPDX-License-Identifier: GPL-2.0 */ #ifndef BOOT_COMPRESSED_TDX_H #define BOOT_COMPRESSED_TDX_H #include <linux/types.h> #ifdef CONFIG_INTEL_TDX_GUEST void early_tdx_detect(void); #else static inline void early_tdx_detect(void) { }; #endif #endif /* BOOT_COMPRESSED_TDX_H */