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