19 lines
544 B
C
19 lines
544 B
C
/* System memory layout */
|
|
#pragma once
|
|
#define U_STACK_VADDR 0x90000000
|
|
|
|
#define K_START 0xFFFF800000000000
|
|
#define K_PMAP_VADDR 0xFFFF800000000000
|
|
#define K_DYNAMIC 0xFFFFFFFF00000000
|
|
#define K_DYN_END 0xFFFFFFFF70000000
|
|
#define K_IMAGE 0xFFFFFFFF80000000
|
|
|
|
#define PAGE_SIZE (0x1000)
|
|
|
|
#define K_IMAGE_PADDR (0x1000000)
|
|
// reserve 16MB
|
|
#define K_IMAGE_PRESRV (16 * 1024 * 1024)
|
|
|
|
#define R_PADDR(paddr) (void*)((paddr) + K_PMAP_VADDR)
|
|
#define IS_KERN_SPACE(vaddr) (((uintptr)vaddr) >= K_START)
|