coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
memlayout.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 /* This file contains macro definitions for memlayout.ld linker scripts. */
4 
5 #ifndef __ARCH_MEMLAYOUT_H
6 #define __ARCH_MEMLAYOUT_H
7 
8 #define TTB(addr, size) \
9  REGION(ttb, addr, size, 4K) \
10  _ = ASSERT(size % 4K == 0, "TTB size must be divisible by 4K!");
11 
12 #define DMA_COHERENT(addr, size) \
13  REGION(dma_coherent, addr, size, 4K) \
14  _ = ASSERT(size % 4K == 0, \
15  "DMA buffer should be multiple of smallest page size (4K)!");
16 
17 #define FRAMEBUFFER(addr, size) \
18  REGION(framebuffer, addr, size, 1M) \
19  _ = ASSERT(size % 1M == 0, \
20  "Framebuffer must fit exactly in 1M!");
21 
22 /* ARM64 stacks need 16-byte alignment. */
23 #define STACK(addr, size) \
24  REGION(stack, addr, size, 16) \
25  _ = ASSERT(size >= 2K, "stack should be >= 2K, see toolchain.inc");
26 
27 #define BL31(addr, size) \
28  REGION(bl31, addr, size, 4K) \
29  _ = ASSERT(size % 4K == 0, "BL31 size must be divisible by 4K!");
30 
31 #endif /* __ARCH_MEMLAYOUT_H */