blob: d369694aa6ac7653818056eabf44a3f57647575e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#ifndef MEMORY_H
#define MEMORY_H
#include "paging.h"
#define SECTION_SIZE (((uint32_t) 1) << 20)
#define INTERRUPT_VECTOR_TABLE_START ((uint32_t) 0x0)
#define STACK_START ((uint32_t) 0x4000)
#define STACK_END ((uint32_t) 0x8000)
extern const char __end;
extern const char __start;
#define KERNEL_START ((uint32_t) &__start)
#define KERNEL_END ((uint32_t) &__end)
// first 2^14 aligned address after the kernel
#define TRANSLATION_TABLE_BASE \
(((KERNEL_END - (uint32_t) 1) & ~((uint32_t) 0x3fff)) \
+ (uint32_t) 0x4000)
#define TRANSLATION_TABLE_END \
(TRANSLATION_TABLE_BASE + (uint32_t) (4096 * 4))
#define PRIVILEGED_MEMORY_END \
(((TRANSLATION_TABLE_END - (uint32_t) 1) & ~((uint32_t) 0xfffff)) \
+ SECTION_SIZE)
#define UNPRIVILEGED_MEMORY_START PRIVILEGED_MEMORY_END
#define UNPRIVILEGED_MEMORY_END \
(UNPRIVILEGED_MEMORY_START + SECTION_SIZE)
#define PL0_SECTION_NUMBER ((uint32_t) 0b101010101010)
#define VIRTUAL_PL0_MEMORY_START (PL0_SECTION_NUMBER << 20)
#endif // MEMORY_H
|