xref: /linux/arch/x86/boot/compressed/tdx.h (revision e7d759f31ca295d589f7420719c311870bb3166f)
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