The pmap module is a bit limited on 64 bit paging, so this should be
refined when we'll be able to use addresses over 4G.
Signed-off-by: Luca Dariz <l...@orpolo.org>
---
i386/intel/pmap.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index d0bd3b5d..19b7b51c 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -1298,7 +1298,7 @@ pmap_t pmap_create(vm_size_t size)
pa_to_pte(kvtophys((vm_offset_t) page_dir[i]))
| INTEL_PTE_VALID
#if !defined(MACH_HYP) || defined(MACH_PV_PAGETABLES)
- | INTEL_PTE_WRITE
+ | INTEL_PTE_WRITE | INTEL_PTE_USER
#endif
);
}
@@ -1309,7 +1309,7 @@ pmap_t pmap_create(vm_size_t size)
!= KERN_SUCCESS)
panic("pmap_create");
memset(p->l4base, 0, INTEL_PGBYTES);
- WRITE_PTE(&p->l4base[0], pa_to_pte(kvtophys((vm_offset_t) p->pdpbase))
| INTEL_PTE_VALID | INTEL_PTE_WRITE);
+ WRITE_PTE(&p->l4base[0], pa_to_pte(kvtophys((vm_offset_t) p->pdpbase))
| INTEL_PTE_VALID | INTEL_PTE_WRITE | INTEL_PTE_USER);
#ifdef MACH_PV_PAGETABLES
// FIXME: use kmem_cache_alloc instead
if (kmem_alloc_wired(kernel_map,
--
2.30.2
