coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
txt_platform.h
Go to the documentation of this file.
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__ */
txt_get_chipset_dpr
union dpr_register txt_get_chipset_dpr(void)
Definition: memmap.c:27
txt_register.h
dpr_register
Definition: txt_register.h:164
void
typedef void(X86APIP X86EMU_intrFuncs)(int num)