/* 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__ */ |