summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Andrew Waterman <waterman@cs.berkeley.edu>2015-03-12 23:07:10 -0700
committerGravatar Andrew Waterman <waterman@cs.berkeley.edu>2015-03-12 23:07:10 -0700
commit07ad8b661d3938f3152478569affd563751435e6 (patch)
tree1842b822d57cdc5b2e6177eb21fb161202db9960
parent43ca48c7d1ff67af4286a93185fc83f75be4760f (diff)
Add referenced/dirty bits to PTE
-rw-r--r--encoding.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/encoding.h b/encoding.h
index de0133a..a9f0c58 100644
--- a/encoding.h
+++ b/encoding.h
@@ -72,6 +72,8 @@
#define PTE_SR 0x040 // Supervisor Read permission
#define PTE_SW 0x080 // Supervisor Write permission
#define PTE_SX 0x100 // Supervisor eXecute permission
+#define PTE_R 0x200 // Referenced
+#define PTE_D 0x400 // Dirty
#define PTE_PERM (PTE_SR | PTE_SW | PTE_SX | PTE_UR | PTE_UW | PTE_UX)
#ifdef __riscv