coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
symbols.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_SYMBOLS_H__
4 #define __SOC_SYMBOLS_H__
5 
6 #include <symbols.h>
7 
8 DECLARE_REGION(bl31_sram)
9 DECLARE_REGION(pmu_sram)
10 
11 #endif
DECLARE_REGION
DECLARE_REGION(ssram)