diff options
| -rw-r--r-- | i386/intel/pmap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 4b223ec5..e7d5fac8 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -659,7 +659,9 @@ void pmap_bootstrap(void) kernel_pmap->l4base = (pt_entry_t*)phystokv(pmap_grab_page()); memset(kernel_pmap->l4base, 0, INTEL_PGBYTES); WRITE_PTE(&kernel_pmap->l4base[0], pa_to_pte(_kvtophys(kernel_pmap->pdpbase)) | INTEL_PTE_VALID | INTEL_PTE_WRITE); +#ifdef MACH_PV_PAGETABLES pmap_set_page_readonly_init(kernel_pmap->l4base); +#endif #endif /* x86_64 */ #else /* PAE */ kernel_pmap->dirbase = kernel_page_dir = (pt_entry_t*)phystokv(pmap_grab_page()); |