coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
memlayout.h File Reference

Go to the source code of this file.

Macros

#define TTB(addr, size)
 
#define DMA_COHERENT(addr, size)
 
#define FRAMEBUFFER(addr, size)
 
#define STACK(addr, size)
 
#define BL31(addr, size)
 

Macro Definition Documentation

◆ BL31

#define BL31 (   addr,
  size 
)
Value:
REGION(bl31, addr, size, 4K) \
_ = ASSERT(size % 4K == 0, "BL31 size must be divisible by 4K!");
#define ASSERT(x)
Definition: assert.h:44
static u32 addr
Definition: cirrus.c:14
#define REGION(name, addr, size, expected_align)
Definition: memlayout.h:39

Definition at line 27 of file memlayout.h.

◆ DMA_COHERENT

#define DMA_COHERENT (   addr,
  size 
)
Value:
REGION(dma_coherent, addr, size, 4K) \
_ = ASSERT(size % 4K == 0, \
"DMA buffer should be multiple of smallest page size (4K)!");
int dma_coherent(void *ptr)

Definition at line 12 of file memlayout.h.

◆ FRAMEBUFFER

#define FRAMEBUFFER (   addr,
  size 
)
Value:
REGION(framebuffer, addr, size, 1M) \
_ = ASSERT(size % 1M == 0, \
"Framebuffer must fit exactly in 1M!");
#define M
Definition: regs.h:327

Definition at line 17 of file memlayout.h.

◆ STACK

#define STACK (   addr,
  size 
)
Value:
REGION(stack, addr, size, 16) \
_ = ASSERT(size >= 2K, "stack should be >= 2K, see toolchain.inc");

Definition at line 23 of file memlayout.h.

◆ TTB

#define TTB (   addr,
  size 
)
Value:
REGION(ttb, addr, size, 4K) \
_ = ASSERT(size % 4K == 0, "TTB size must be divisible by 4K!");

Definition at line 8 of file memlayout.h.