Pmap ops: perm->settings
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 6 Apr 2015 18:46:12 +0000 (14:46 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:07:00 +0000 (15:07 -0400)
commit1e1023344a68609dd0b3aca7f0705d3e14a8a8f2
tree14a5afd9f957eb986a6c791dedc8013279212929
parent45299401268b51144dd56c2900099a29e41f353d
Pmap ops: perm->settings

This clarifies some aspects of pte_get_perms and pte_write.  In reality,
write takes all sorts of non-permission based flags.  What we really
wanted (I think) was the pte settings: the non-paddr lower 12 bits, in
an arch-indep format (based on the #defines).

Still, pte_replace_perm() is very useful as is.  pte_get_perm paired
with pte_write and wasn't really related to pte_replace_perm (in usage).
kern/arch/riscv/pmap_ops.h
kern/arch/x86/kpt.h
kern/arch/x86/pmap64.c
kern/arch/x86/pmap_ops.h
kern/arch/x86/vmm/ept.h
kern/src/mm.c