fugu: new error code if the attempted map operation had insufficient rights
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jul 2019 15:08:03 +0000 (17:08 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jul 2019 15:08:03 +0000 (17:08 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

errors/errno.fugu

index d3f59d4..02ee403 100755 (executable)
@@ -102,6 +102,7 @@ errors kernel SYS_ERR_ {
     failure VM_ALREADY_MAPPED       "This cap copy is already mapped",
     failure VM_MAP_SIZE             "Mapping size too large",
     failure VM_MAP_OFFSET           "Mapping offset too large",
+    failure VM_MAP_RIGHTS           "Requested mapping rights too high",
     failure VM_RETRY_SINGLE         "Mapping overlaps multiple leaf page tables, retry",
     failure VM_FRAME_UNALIGNED      "Frame(+offset) for superpage mapping not aligned",
     failure VM_FRAME_TOO_SMALL      "Frame too small for superpage mapping",