tree 14a5afd9f957eb986a6c791dedc8013279212929
parent 45299401268b51144dd56c2900099a29e41f353d
author Barret Rhoden <brho@cs.berkeley.edu> 1428345972 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433620 -0400

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).