1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef SECURITY_INTEL_TXT_LIB_H_ 4 #define SECURITY_INTEL_TXT_LIB_H_ 5 6 #include <types.h> 7 8 bool is_establishment_bit_asserted(void); 9 10 bool is_txt_cpu(void); 11 12 #endif /* SECURITY_INTEL_TXT_LIB_H_ */ 13