sys/sys/vm/vm.c


1
2
3
4
5
6
7
8
9
10

#include <vm.h>
#include <asm.h>

#define SV39 (8L << 60)

void
vminit(void)
{
	csrw_satp(SATP, (uint64_t)pt >> 12);
}