coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cache_as_ram_symbols.inc
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 /* Trick the linker into supporting x86_64 relocations in 32bit code */
4 #if ENV_X86_64
5 #define uintptr_t quad
6 #else
7 #define uintptr_t long
8 #endif
9 
10 rom_mtrr_mask:
11 .uintptr_t _rom_mtrr_mask
12 
13 rom_mtrr_base:
14 .uintptr_t _rom_mtrr_base
15 
16 car_mtrr_mask:
17 .uintptr_t _car_mtrr_mask
18 
19 car_mtrr_size:
20 .uintptr_t _car_mtrr_size
21 
22 car_mtrr_start:
23 .uintptr_t _car_mtrr_start
24 
25 xip_mtrr_mask:
26 .uintptr_t _xip_mtrr_mask