TODO: update cheri_perms.h

TODO: squash into initial cheri_perms.h

diff --git a/sysdeps/aarch64/morello/cheri_perms.h b/sysdeps/aarch64/morello/cheri_perms.h
index 8c44233016ca5cc3a5fd4eeadd9e5b227e8b9f2f..98a1926ad9bdd93dce1fbef974127eed92671e2c 100644 (file)
--- a/sysdeps/aarch64/morello/cheri_perms.h
+++ b/sysdeps/aarch64/morello/cheri_perms.h
@@ -30,6 +30,8 @@
 #define CAP_PERM_STORE_LOCAL (1 << 12)
 #define CAP_PERM_SEAL (1 << 11)
 #define CAP_PERM_UNSEAL (1 << 10)
+#define CAP_PERM_SYSTEM (1 << 9)
+#define CAP_PERM_BRANCH_SEALED_PAIR (1 << 8)
 #define CAP_PERM_COMPARTMENT_ID (1 << 7)
 #define CAP_PERM_MUTABLE_LOAD (1 << 6)
 #define CAP_PERM_EXECUTIVE (1 << 1)
@@ -41,13 +43,29 @@
   CAP_PERM_STORE | \
   CAP_PERM_EXECUTE | \
   CAP_PERM_LOAD_CAP | \
+  CAP_PERM_MUTABLE_LOAD | \
   CAP_PERM_STORE_CAP | \
+  CAP_PERM_STORE_LOCAL | \
+  CAP_PERM_EXECUTIVE | \
+  CAP_PERM_SYSTEM | \
   CAP_PERM_SEAL | \
   CAP_PERM_UNSEAL | \
   CAP_PERM_COMPARTMENT_ID))
-#define CAP_PERM_MASK_R (CAP_PERM_MASK_BASE | CAP_PERM_LOAD | CAP_PERM_LOAD_CAP)
-#define CAP_PERM_MASK_RW (CAP_PERM_MASK_R | CAP_PERM_STORE | CAP_PERM_STORE_CAP)
-#define CAP_PERM_MASK_RX (CAP_PERM_MASK_R | CAP_PERM_EXECUTE)
+#define CAP_PERM_MASK_R ( \
+  CAP_PERM_MASK_BASE | \
+  CAP_PERM_LOAD | \
+  CAP_PERM_LOAD_CAP | \
+  CAP_PERM_MUTABLE_LOAD)
+#define CAP_PERM_MASK_RW ( \
+  CAP_PERM_MASK_R | \
+  CAP_PERM_STORE | \
+  CAP_PERM_STORE_CAP | \
+  CAP_PERM_STORE_LOCAL)
+#define CAP_PERM_MASK_RX ( \
+  CAP_PERM_MASK_R | \
+  CAP_PERM_EXECUTE | \
+  CAP_PERM_EXECUTIVE | \
+  CAP_PERM_SYSTEM)
 
 #define STACK_CAP_PERM_PCS ( \
   CAP_PERM_LOAD | \