Merge branch 'caps_next'
[barrelfish] / errors / errno.fugu
index c11a35a..090bcf9 100755 (executable)
@@ -59,11 +59,14 @@ errors kernel SYS_ERR_ {
     failure DEST_TYPE_INVALID   "Destination capability is of invalid type",
     failure INVALID_RETYPE      "Invalid source/destination type pair for retyping",
     failure RETYPE_MAPPING_EXPLICIT "Invalid explicit retype to mapping type",
+    failure RETYPE_INVALID_COUNT "Invalid number of new objects requested",
     failure REVOKE_FIRST        "Capability already has descendants or siblings",
     failure INVALID_SIZE_BITS   "Invalid size for new objects",
+    failure INVALID_SIZE        "Invalid size for new objects",
     failure SLOTS_INVALID       "Destination capability slots exceed capacity of CNode",
     failure SLOTS_IN_USE        "One or more destination capability slots occupied",
     failure RETYPE_CREATE       "Error while creating new capabilities in retype",
+    failure RETYPE_INVALID_OFFSET "Offset into source capability invalid for retype",
     failure NO_LOCAL_COPIES     "No copies of specified capability in local MDB",
     failure RETRY_THROUGH_MONITOR "There is a remote copy of the capability, monitor must be involved to perform a cross core agreement protocol",
     failure TYPE_NOT_CREATABLE  "Specified capability type is not creatable at runtime. Consider retyping it from another capability.",
@@ -217,9 +220,11 @@ errors libbarrelfish LIB_ERR_ {
     failure MULTI_SLOT_ALLOC_INIT  "Failure in multi_slot_alloc_init()",
     failure MULTI_SLOT_ALLOC_INIT_RAW  "Failure in multi_slot_alloc_init_raw()",
     failure SINGLE_SLOT_ALLOC      "Failure in single_slot_alloc()",
+    failure RANGE_ALLOC_NOT_HEAD   "Function called on non-head range allocator",
     failure SLOT_ALLOC             "Failure in slot_alloc()",
     failure SLOT_FREE              "Failure in slot_free()",
     failure SLOT_UNALLOCATED       "slot_free() was called on an unallocated slot",
+    failure SLOT_ALLLOC_REFILL     "Failure in slot_alloc_refill()",
 
     // vspace
     failure VSPACE_CURRENT_INIT "Failure in vspace_current_init()",
@@ -646,6 +651,7 @@ errors libmm MM_ERR_ {
     failure SLOT_ALLOC_INIT     "Failure initialising slot allocator",
     failure MM_INIT             "Failure in mm_init()",
     failure MM_ADD              "Failure in mm_add()",
+    failure MM_ADD_MULTI        "Failure in mm_add_multi()",
     failure MM_FREE             "Failure in mm_free()",
     failure NEW_NODE            "Failed allocating new node from slot allocator",
     failure OUT_OF_BOUNDS       "Given memory base address / size exceeds bounds of allocator",