1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef BOOT_COMPRESSED_TDX_H 3 #define BOOT_COMPRESSED_TDX_H 4 5 #include <linux/types.h> 6 7 #ifdef CONFIG_INTEL_TDX_GUEST 8 void early_tdx_detect(void); 9 #else 10 static inline void early_tdx_detect(void) { }; 11 #endif 12 13 #endif /* BOOT_COMPRESSED_TDX_H */ 14