diff options
| -rw-r--r-- | src/sys/arch/amd64/cpu/mmu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sys/arch/amd64/cpu/mmu.c b/src/sys/arch/amd64/cpu/mmu.c index 89f53f0..04b43c1 100644 --- a/src/sys/arch/amd64/cpu/mmu.c +++ b/src/sys/arch/amd64/cpu/mmu.c @@ -342,7 +342,7 @@ mmu_map_single(struct vm_vas *vas, struct mmu_map *spec, int prot) * TLB entry. */ index = mmu_get_level(spec->va, MMU_TBL); - pte[index] = pte_flags | spec->pa; + pte[index] = (prot == 0) ? 0 : (pte_flags | spec->pa); __invlpg((void *)spec->va); return 0; } |