The Pedigree Project 0.1
AddressLayout.h
1#ifndef KERNEL_PROCESSOR_ARMV7_ADDRESSLAYOUT_H
2#define KERNEL_PROCESSOR_ARMV7_ADDRESSLAYOUT_H
3
4#include <stdint.h>
5
6// The bootstrap maps low device MMIO at 0x80000000 and RAM at 0xc0000000.
7constexpr uintptr_t ARMV7_DIRECT_MAP_BASE = 0x80000000U;
8constexpr uintptr_t KERNEL_VIRTUAL_HEAP = 0x90000000U;
9constexpr uintptr_t KERNEL_VIRTUAL_HEAP_END = 0xa0000000U;
10constexpr uintptr_t KERNEL_VIRTUAL_CACHE = 0xa0000000U;
11constexpr uintptr_t KERNEL_VIRTUAL_CACHE_END = 0xa8000000U;
12constexpr uintptr_t KERNEL_VIRTUAL_MEMORYREGION_ADDRESS = 0xa8000000U;
13constexpr uintptr_t KERNEL_VIRTUAL_MEMORYREGION_END = 0xb0000000U;
14constexpr uintptr_t KERNEL_VIRTUAL_MODULE_BASE = 0xb0000000U;
15constexpr uintptr_t KERNEL_VIRTUAL_MODULE_END = 0xb8000000U;
16constexpr uintptr_t KERNEL_VIRTUAL_EVENT_BASE = 0xb8000000U;
17constexpr uintptr_t KERNEL_VIRTUAL_INFO_BLOCK = 0xba000000U;
18constexpr uintptr_t KERNEL_VIRTUAL_STACK = 0xc0000000U;
19
20#endif