arch/x86/boot/compressed/tdx.h

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