Redefines PTE present vs mapped
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 6 Apr 2015 16:23:43 +0000 (12:23 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:06:59 +0000 (15:06 -0400)
commitd76b4c63fa2d04f1b5c7f24ed73effe72bdcbf86
tree3ae578a1bd7f971f1f03160d00a1caec6351ead0
parentddb9fa78b5d97e4107a9404f4146140ef8bf9a5a
Redefines PTE present vs mapped

Mapped now means it points to a physical page in all cases.  Present is
mapped and with bits set for some valid PTE walk.  For instance, a user
read works on x86 with PTE_U and PTE_P.

PTE_P shouldn't be used from the arch-indep code now.

I might have missed something with this commit, like leaking memory or
dirty bits.  Feel free to check out the usages of is_present, is_mapped,
and is_unmapped.
kern/arch/riscv/ros/mmu.h
kern/arch/x86/pmap64.c
kern/arch/x86/pmap_ops.h
kern/arch/x86/ros/mmu64.h
kern/src/env.c
kern/src/mm.c
kern/src/pagemap.c
kern/src/pmap.c
kern/src/umem.c