38 lines
967 B
C
38 lines
967 B
C
|
#ifndef _KERNEL_PLATFORM_RISCV64_VMM_CONSTS_H
|
||
|
|
#define _KERNEL_PLATFORM_RISCV64_VMM_CONSTS_H
|
||
|
|
|
||
|
|
#include <libkern/types.h>
|
||
|
|
|
||
|
|
static inline int vm_page_size()
|
||
|
|
{
|
||
|
|
return 0x1000;
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline int vm_page_mask()
|
||
|
|
{
|
||
|
|
return 0xfff;
|
||
|
|
}
|
||
|
|
|
||
|
|
#define VMM_LV0_ENTITY_COUNT (512)
|
||
|
|
#define VMM_LV1_ENTITY_COUNT (512)
|
||
|
|
#define VMM_LV2_ENTITY_COUNT (512)
|
||
|
|
#define VMM_LV3_ENTITY_COUNT (512)
|
||
|
|
#define VMM_PAGE_SIZE (vm_page_size())
|
||
|
|
|
||
|
|
#define PAGE_START(vaddr) ((vaddr & (~(uintptr_t)vm_page_mask())))
|
||
|
|
#define FRAME(addr) (addr / VMM_PAGE_SIZE)
|
||
|
|
|
||
|
|
#define PTABLE_LV_TOP (3)
|
||
|
|
#define PTABLE_LV0_VADDR_OFFSET (12)
|
||
|
|
#define PTABLE_LV1_VADDR_OFFSET (21)
|
||
|
|
#define PTABLE_LV2_VADDR_OFFSET (30)
|
||
|
|
#define PTABLE_LV3_VADDR_OFFSET (39)
|
||
|
|
|
||
|
|
#define PTABLE_TOP_KERNEL_OFFSET (VMM_LV3_ENTITY_COUNT / 2)
|
||
|
|
|
||
|
|
#define USER_HIGH 0x7fffffffffff
|
||
|
|
#define KERNEL_BASE 0xffff800000000000
|
||
|
|
#define KERNEL_PADDR_BASE 0xffffffff00000000 // TODO(x64): up to 4gbs are supported.
|
||
|
|
|
||
|
|
#endif // _KERNEL_PLATFORM_RISCV64_VMM_CONSTS_H
|