1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __SECURITY_INTEL_TXT_PLATFORM_H__ 4 #define __SECURITY_INTEL_TXT_PLATFORM_H__ 5 6 #include <types.h> 7 #include "txt_register.h" 8 9 /* Prototypes to be defined in chipset code */ 10 union dpr_register txt_get_chipset_dpr(void); 11 12 #endif /* __SECURITY_INTEL_TXT_PLATFORM_H__ */ 13