cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

tdx.h (281B)

      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
      8void early_tdx_detect(void);
      9#else
     10static inline void early_tdx_detect(void) { };
     11#endif
     12
     13#endif /* BOOT_COMPRESSED_TDX_H */