![]() |
|
|||
0001 /* SPDX-License-Identifier: GPL-2.0 */ 0002 #ifndef BOOT_COMPRESSED_TDX_H 0003 #define BOOT_COMPRESSED_TDX_H 0004 0005 #include <linux/types.h> 0006 0007 #ifdef CONFIG_INTEL_TDX_GUEST 0008 void early_tdx_detect(void); 0009 #else 0010 static inline void early_tdx_detect(void) { }; 0011 #endif 0012 0013 #endif /* BOOT_COMPRESSED_TDX_H */
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.1.0 LXR engine. The LXR team |
![]() ![]() |