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 */
src
arch
arm64
include
arch
memlayout.h
Generated by
1.9.1