runtime: track_memory_map: treat several pkru values seen in program …

…startup as compartment 0
immunant · Sep 12, 2023 · ee6f14c · ee6f14c
1 parent 46d35f1
commit ee6f14c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/runtime/track_memory_map.c b/runtime/track_memory_map.c
@@ -159,6 +159,12 @@ unsigned char pkey_for_pkru(uint32_t pkru) {
     CHECK(13);
     CHECK(14);
     CHECK(15);
+  case 0x55555550:
+    return 0;
+  case 0x55555554:
+    return 0;
+  case 0:
+    return 0;
   default:
     return PKEY_INVALID;
   }