| commit | d76b4c63fa2d04f1b5c7f24ed73effe72bdcbf86 | [log] [tgz] |
|---|---|---|
| author | Barret Rhoden <brho@cs.berkeley.edu> | Mon Apr 06 12:23:43 2015 -0400 |
| committer | Barret Rhoden <brho@cs.berkeley.edu> | Tue Apr 07 15:06:59 2015 -0400 |
| tree | 3ae578a1bd7f971f1f03160d00a1caec6351ead0 | |
| parent | ddb9fa78b5d97e4107a9404f4146140ef8bf9a5a [diff] |
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.