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