/* SPDX-License-Identifier: GPL-2.0-only */ #ifndef __SECURITY_INTEL_TXT_PLATFORM_H__ #define __SECURITY_INTEL_TXT_PLATFORM_H__ #include <types.h> #include "txt_register.h" /* Prototypes to be defined in chipset code */ union dpr_register txt_get_chipset_dpr(void); #endif /* __SECURITY_INTEL_TXT_PLATFORM_H__ */