| /* 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 */ |