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 __ARCH_SYMBOLS_H
4 #define __ARCH_SYMBOLS_H
5 
6 /*
7  * The _car_region_[start|end] covers the entirety of the cache as RAM
8  * region. All other symbols with the _car prefix a subsets of this
9  * larger region.
10  */
11 extern char _car_region_start[];
12 extern char _car_region_end[];
13 #define _car_region_size (_car_region_end - _car_region_start)
14 
15 /*
16  * This is the stack area used for all stages that execute when cache-as-ram
17  * is up. Area is not cleared in between stages.
18  */
19 extern char _car_stack[];
20 extern char _ecar_stack[];
21 #define _car_stack_size (_ecar_stack - _car_stack)
22 
23 extern char _car_unallocated_start[];
24 
25 extern char _car_ehci_dbg_info[];
26 extern char _ecar_ehci_dbg_info[];
27 #define _car_ehci_dbg_info_size \
28  (_ecar_ehci_dbg_info - _car_ehci_dbg_info)
29 
30 #endif
char _car_region_end[]
char _car_unallocated_start[]
char _car_region_start[]
char _car_stack[]
char _ecar_ehci_dbg_info[]
char _car_ehci_dbg_info[]
char _ecar_stack[]