1 #include "../riscv/encoding.h"
8 # Set up a page table entry that maps 0x0... to 0x8...
15 li t0, (MSTATUS_MPRV | (VM_SV39 << 24))
16 #li t0, ((VM_SV39 << 24))
20 la t0, (loop - 0x80000000)
23 # Exit supervisor mode, entering user mode at loop.
37 .word ((0x80000000 >> 2) | PTE_V | PTE_TYPE_URWX_SRWX)