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 |