| commit | 1e1023344a68609dd0b3aca7f0705d3e14a8a8f2 | [log] [tgz] |
|---|---|---|
| author | Barret Rhoden <brho@cs.berkeley.edu> | Mon Apr 06 14:46:12 2015 -0400 |
| committer | Barret Rhoden <brho@cs.berkeley.edu> | Tue Apr 07 15:07:00 2015 -0400 |
| tree | 14a5afd9f957eb986a6c791dedc8013279212929 | |
| parent | 45299401268b51144dd56c2900099a29e41f353d [diff] |
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).