coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
chip.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_CAVIUM_COMMON_PCI_CHIP_H
4 #define __SOC_CAVIUM_COMMON_PCI_CHIP_H
5 
7  /**
8  * Mark the PCI device as secure.
9  * It will be visible from EL3, but hidden in EL2-0.
10  */
12 };
13 
14 #endif /* __SOC_CAVIUM_COMMON_PCI_CHIP_H */
uint8_t u8
Definition: stdint.h:45
u8 secure
Mark the PCI device as secure.
Definition: chip.h:11