coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
smm.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _DENVERTON_NS_SMM_H_
4 #define _DENVERTON_NS_SMM_H_
5 
10 };
11 
12 #endif /* _DENVERTON_NS_SMM_H_ */
unsigned int uint32_t
Definition: stdint.h:14
uint32_t smrr_mask
Definition: cpu.c:125
uint32_t smrr_base
Definition: cpu.c:124
uint32_t smbase
Definition: cpu.c:123