You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
36 lines
748 B
36 lines
748 B
7 years ago
|
#ifndef _VM_H
|
||
|
|
#define _VM_H
|
||
|
|
|
||
|
|
#include "encoding.h"
|
||
|
|
#include <stdint.h>
|
||
|
|
|
||
|
|
#define MEGAPAGE_SIZE ((uintptr_t)(RISCV_PGSIZE << RISCV_PGLEVEL_BITS))
|
||
|
|
#if __riscv_xlen == 64
|
||
|
|
# define SATP_MODE_CHOICE INSERT_FIELD(0, SATP64_MODE, SATP_MODE_SV39)
|
||
|
|
# define VA_BITS 39
|
||
|
|
# define GIGAPAGE_SIZE (MEGAPAGE_SIZE << RISCV_PGLEVEL_BITS)
|
||
|
|
#else
|
||
|
|
# define SATP_MODE_CHOICE INSERT_FIELD(0, SATP32_MODE, SATP_MODE_SV32)
|
||
|
|
# define VA_BITS 32
|
||
|
|
#endif
|
||
|
|
|
||
|
|
typedef uintptr_t pte_t;
|
||
|
|
extern pte_t* root_page_table;
|
||
|
|
|
||
|
|
static inline void flush_tlb()
|
||
|
|
{
|
||
|
|
asm volatile ("sfence.vma");
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline pte_t pte_create(uintptr_t ppn, int type)
|
||
|
|
{
|
||
|
|
return (ppn << PTE_PPN_SHIFT) | PTE_V | type;
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline pte_t ptd_create(uintptr_t ppn)
|
||
|
|
{
|
||
|
|
return pte_create(ppn, PTE_V);
|
||
|
|
}
|
||
|
|
|
||
|
|
#endif
|