#include <lunaix/spike.h>
#include <lunaix/syslog.h>
-#include <sys/cpu.h>
-#include <sys/mm/mm_defs.h>
+#include <asm/cpu.h>
+#include <asm/mm_defs.h>
LOG_MODULE("VM")
-void
-vmm_init()
-{
- // XXX: something here?
-}
-
pte_t
vmm_tryptep(pte_t* ptep, size_t lvl_size)
{
assert(vms_root);
pte_t* ptep = mkl0tep_va(VMS_SELF, mnt);
- set_pte(ptep, mkpte(vms_root, KERNEL_DATA));
+ set_pte(ptep, mkpte(vms_root, KERNEL_PGTAB));
tlb_flush_kernel(mnt);
return mnt;
}