|
|
|
@ -28,16 +28,6 @@ constexpr u64 PAGE_MASK = PAGE_SIZE - 1; |
|
|
|
|
|
|
|
/// Virtual user-space memory regions |
|
|
|
enum : VAddr { |
|
|
|
/// Read-only page containing kernel and system configuration values. |
|
|
|
CONFIG_MEMORY_VADDR = 0x1FF80000, |
|
|
|
CONFIG_MEMORY_SIZE = 0x00001000, |
|
|
|
CONFIG_MEMORY_VADDR_END = CONFIG_MEMORY_VADDR + CONFIG_MEMORY_SIZE, |
|
|
|
|
|
|
|
/// Usually read-only page containing mostly values read from hardware. |
|
|
|
SHARED_PAGE_VADDR = 0x1FF81000, |
|
|
|
SHARED_PAGE_SIZE = 0x00001000, |
|
|
|
SHARED_PAGE_VADDR_END = SHARED_PAGE_VADDR + SHARED_PAGE_SIZE, |
|
|
|
|
|
|
|
/// TLS (Thread-Local Storage) related. |
|
|
|
TLS_ENTRY_SIZE = 0x200, |
|
|
|
|
|
|
|
|