Merge large page support code.
[barrelfish] / errors / errno.fugu
index 1167c0b..a69ffbd 100755 (executable)
@@ -1,3 +1,4 @@
+
 /*
  * Copyright (c) 2009, 2010, 2011, 2012, ETH Zurich.
  * Copyright (c) 2014, HP Labs.
@@ -66,6 +67,11 @@ errors kernel SYS_ERR_ {
     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.",
 
+    // errors on the monitor-kernel interface
+    failure DELETE_LAST_OWNED   "Tried to delete the last copy of a locally owned capability that may have remote copies",
+    failure CAP_LOCKED          "The cap has already been locked",
+    success RAM_CAP_CREATED     "A new RAM cap has been created",
+
     // errors specific to page mapping
     failure VNODE_SLOT_INVALID      "Destination slot exceeds size of page table",
     failure WRONG_MAPPING           "Wrong source/destination mapping type",
@@ -85,30 +91,32 @@ errors kernel SYS_ERR_ {
     failure IRQ_NOT_ENDPOINT    "Specified capability is not an endpoint cap",
     failure IRQ_NO_LISTENER     "No listener on specified endpoint cap", // ??
     failure IRQ_INVALID         "Invalid interrupt number",
+    failure IRQ_NO_FREE_VECTOR  "Unable to allocate vector",
 
     // IO capability
     failure IO_PORT_INVALID     "IO port out of range",
 
     // Dispatcher setup and spawn core invocations
-    failure DISP_CSPACE_ROOT    "Error setting CSpace root on dispatcher",
-    failure DISP_CSPACE_INVALID "Invalid capability type given for CSpace root on dispatcher",
-    failure DISP_VSPACE_ROOT    "Error setting VSpace root on dispatcher",
-    failure DISP_VSPACE_INVALID "Invalid capability type given for VSpace root on dispatcher",
-    failure DISP_FRAME          "Error setting dispatcher frame",
-    failure DISP_FRAME_INVALID  "Invalid capability type given for dispatcher frame",
-    failure DISP_NOT_RUNNABLE   "Cannot run dispatcher; it is not completely setup",
-    failure DISP_CAP_LOOKUP     "Error looking up dispatcher cap",
-    failure DISP_CAP_INVALID    "Invalid type capability given for dispatcher cap",
-    failure KERNEL_MEM_LOOKUP   "Error looking up capability for kernel memory",
-    failure KERNEL_MEM_INVALID  "Invalid capability type passed for kernel memory",
-    failure CORE_NOT_FOUND      "Unable to boot core: core ID does not exist",
-    failure INVALID_YIELD_TARGET "Target capability for directed yield is invalid",
-    failure DISP_OCAP_LOOKUP    "Error looking up other dispatcher cap",
+    failure DISP_CSPACE_ROOT            "Error setting CSpace root on dispatcher",
+    failure DISP_CSPACE_INVALID         "Invalid capability type given for CSpace root on dispatcher",
+    failure DISP_VSPACE_ROOT            "Error setting VSpace root on dispatcher",
+    failure DISP_VSPACE_INVALID         "Invalid capability type given for VSpace root on dispatcher",
+    failure DISP_FRAME                  "Error setting dispatcher frame",
+    failure DISP_FRAME_INVALID          "Invalid capability type given for dispatcher frame",
+    failure DISP_NOT_RUNNABLE           "Cannot run dispatcher; it is not completely setup",
+    failure DISP_CAP_LOOKUP             "Error looking up dispatcher cap",
+    failure DISP_CAP_INVALID            "Invalid type capability given for dispatcher cap",
+    failure KERNEL_MEM_LOOKUP           "Error looking up capability for kernel memory",
+    failure KERNEL_MEM_INVALID          "Invalid capability type passed for kernel memory",
+    failure CORE_NOT_FOUND              "Unable to boot core: core ID does not exist",
+    failure ARCHITECTURE_NOT_SUPPORTED  "Unable to boot core: specified architecture is not supported by kernel",
+    failure INVALID_YIELD_TARGET        "Target capability for directed yield is invalid",
+    failure DISP_OCAP_LOOKUP            "Error looking up other dispatcher cap",
 
     // VMKit specific errors
     failure VMKIT_UNAVAIL               "Virtualization extensions are unavailable",
     failure VMKIT_VMCB                  "Error setting VMCB for dispatcher",
-    failure VMKIT_VMCB_INVALID                 "Invalid frame capability passed for VMCB",
+    failure VMKIT_VMCB_INVALID             "Invalid frame capability passed for VMCB",
     failure VMKIT_CTRL                  "Error setting control area for dispatcher",
     failure VMKIT_CTRL_INVALID          "Invalid frame capability passed for control structure",
     failure VMKIT_ENDPOINT              "Error setting monitor endpoint for dispatcher",
@@ -119,13 +127,13 @@ errors kernel SYS_ERR_ {
     failure SERIAL_PORT_UNAVAILABLE     "Serial port unavailable",
 
     // Performance monitoring errors
-    failure PERFMON_NOT_AVAILABLE      "Performance monitoring feature unavailable",
+    failure PERFMON_NOT_AVAILABLE    "Performance monitoring feature unavailable",
 
     // Time synchronization errors
-    failure SYNC_MISS                  "Missed synchronization phase",
+    failure SYNC_MISS            "Missed synchronization phase",
 
     // SCC driver errors
-    failure CROSS_MC                   "Frame crosses memory controllers",
+    failure CROSS_MC            "Frame crosses memory controllers",
 
     // ID capability
     failure ID_SPACE_EXHAUSTED  "ID space exhausted",
@@ -137,13 +145,20 @@ errors kernel SYS_ERR_ {
     failure I2C_WAIT_FOR_BUS            "Wait for bus free timed out",
     failure I2C_FAILURE                 "I2C subsystem failure",
 
+    // KCB and related errors
+    failure KCB_NOT_FOUND               "Did not find the given kcb.",
 };
 
-// errors generated by libcaps
+// errors generated by libmdb
 errors libcaps CAPS_ERR_ {
     // general errors
     failure INVALID_ARGS        "Invalid arguments",
 
+    // restore errors
+    failure MDB_ALREADY_INITIALIZED "MDB not emtpy during restore",
+    failure MDB_INVALID_STATE       "MDB not in valid state after restore",
+    failure MDB_INVARIANT_VIOLATION "MDB invariant violated",
+
     // mdb operation errors
     failure MDB_DUPLICATE_ENTRY "Inserted entry already present",
     failure MDB_ENTRY_NOTFOUND  "Removed entry not found",
@@ -321,6 +336,7 @@ errors libbarrelfish LIB_ERR_ {
     failure NO_UMP_BIND_HANDLER "UMP connection handler not registered for this service",
     failure MONITOR_CAP_SEND    "Failed sending capability via monitor",
     failure MONITOR_RPC_BIND    "Error in monitor_rpc_init()",
+    failure MONITOR_RPC_NULL    "Monitor RPC client is uninitialized",
 
     // multihop
     failure BIND_MULTIHOP_REQ   "Failed sending bind_multihop_request to monitor",
@@ -328,14 +344,14 @@ errors libbarrelfish LIB_ERR_ {
     failure BIND_MULTIHOP_SAME_CORE "Cannot create a multihop channel to service on the same core",
 
     // Bulk transfer
-    failure BULK_UNKNOWN_ID    "Unknown bulk transfer block ID",
+    failure BULK_UNKNOWN_ID    "Unknown bulk transfer block ID",
 
     // Domain
     failure NO_SPANNED_DISP       "There is no spanned dispatcher on the given core",
     failure SEND_RUN_FUNC_REQUEST "Failure in trying to send run_func_request",
-    failure SEND_CAP_REQUEST     "Failure in trying to send capability",
-    failure CAP_COPY_FAIL        "cap_copy failed",
-    failure CAP_DELETE_FAIL      "cap_delete failed",
+    failure SEND_CAP_REQUEST      "Failure in trying to send capability",
+    failure CAP_COPY_FAIL      "cap_copy failed",
+    failure CAP_DELETE_FAIL      "cap_delete failed",
 
     // Initialisation
     failure RAM_ALLOC_SET          "Failure in ram_alloc_set()",
@@ -352,9 +368,9 @@ errors libbarrelfish LIB_ERR_ {
 
     // Threads package
     failure THREAD_CREATE       "A version of thread create failed",
-    failure THREAD_JOIN                "Joining more than once not allowed",
-    failure THREAD_JOIN_DETACHED       "Tried to join with a detached thread",
-    failure THREAD_DETACHED    "Thread is already detached",
+    failure THREAD_JOIN        "Joining more than once not allowed",
+    failure THREAD_JOIN_DETACHED    "Tried to join with a detached thread",
+    failure THREAD_DETACHED    "Thread is already detached",
 
     // Waitset/event code
     failure CHAN_ALREADY_REGISTERED "Attempt to register for an event on a channel which is already registered",
@@ -402,11 +418,11 @@ errors chips CHIPS_ERR_ {
     failure GET_SERVICE_REFERENCE "Error getting service reference from name service",
     failure GET_SERVICE_IREF      "Error getting IREF from name service",
     failure UNKNOWN_NAME          "Lookup failed: unknown name",
-    failure EXISTS               "Entry already exists",
-    failure GET_CAP              "Error getting a capability from store",
-    failure PUT_CAP              "Error putting a capability to store",
+    failure EXISTS          "Entry already exists",
+    failure GET_CAP          "Error getting a capability from store",
+    failure PUT_CAP          "Error putting a capability to store",
     failure REMOVE_CAP            "Error removing a capability from store",
-    failure OUT_OF_SEMAPHORES    "Out of semaphores",
+    failure OUT_OF_SEMAPHORES      "Out of semaphores",
 };
 
 // errors generated by bcast library
@@ -434,6 +450,8 @@ errors monitor MON_ERR_ {
     failure CAP_IDENTIFY        "Error in cap_identify",
     failure CAP_CREATE          "Failure creating new capability",
     failure CAP_REMOTE          "Failure in remote cap operation",
+    failure CAP_FOREIGN         "Could not perform operation because cap is foreign",
+    failure CAP_MOVE            "Cap could not be moved",
     failure RCAP_DB_NOT_FOUND   "Cannot find cap in remote cap db",
     failure RCAP_DB_LOCK        "Error gaining lock in remote cap db",
     failure RCAP_DB_UNLOCK      "Error unlocking cap in remote cap db",
@@ -474,6 +492,13 @@ errors monitor MON_ERR_ {
     failure RSRC_MEMBER_LIMIT  "Reached member limit of resource domain",
     failure RSRC_ILL_MANIFEST  "Illegal manifest",
     failure RSRC_NOT_FOUND     "Resource domain not found on this core",
+
+    // capops
+    failure CAPOPS_BUSY         "Other end not ready for operation",
+
+    // Invocations
+    failure INVOKE_IRQ_ALLOCATE "Unable to allocate IRQ vector",
+    failure INVOKE_IRQ_SET "Unable to install IRQ vector",
 };
 
 // errors related to the routing library
@@ -505,18 +530,18 @@ errors spawn SPAWN_ERR_ {
     failure VSPACE_MAP          "Nested failure in spawn_vspace_map",
     failure GET_CMDLINE_ARGS    "Failure in get_cmdline_args",
     failure SETUP_ENV           "Failure in spawn_setup_env",
-    failure UNKNOWN_TARGET_ARCH        "Unknown target architecture type",
-    failure UNSUPPORTED_TARGET_ARCH     "Unsupported target architecture type",
+    failure UNKNOWN_TARGET_ARCH    "Unknown target architecture type",
+    failure UNSUPPORTED_TARGET_ARCH     "Unsupported target architecture type",
 
-    failure SETUP_CSPACE       "Failure in spawn_setup_cspace",
-    failure DETERMINE_CPUTYPE  "Failure in spawn_determine_cputype",
-    failure VSPACE_INIT        "Failure in spawn_vspace_init",
-    failure SETUP_DISPATCHER   "Failure in spawn_setup_dispatcher",
-    failure ELF_MAP            "Failure in spawn_elf_map",
+    failure SETUP_CSPACE    "Failure in spawn_setup_cspace",
+    failure DETERMINE_CPUTYPE    "Failure in spawn_determine_cputype",
+    failure VSPACE_INIT     "Failure in spawn_vspace_init",
+    failure SETUP_DISPATCHER     "Failure in spawn_setup_dispatcher",
+    failure ELF_MAP         "Failure in spawn_elf_map",
 
-    failure SET_CAPS           "Failure in set_special_caps",
-    failure MONITOR_CLIENT             "Failure in monitor_client_setup",
-    failure FREE               "Failure in spawn_free",
+    failure SET_CAPS         "Failure in set_special_caps",
+    failure MONITOR_CLIENT         "Failure in monitor_client_setup",
+    failure FREE             "Failure in spawn_free",
 
     // spawn_cspace
     failure CREATE_ROOTCN       "Failure creating root CNode",
@@ -530,7 +555,6 @@ errors spawn SPAWN_ERR_ {
     failure CREATE_SELFEP       "Failure creating endpoint to self",
     failure CREATE_ARGSPG       "Failure creating page for arguments",
     failure CREATE_FDSPG        "Failure creating page for file descriptors",
-    failure COPY_FDCAP          "Failure copying frame cap for file descriptors",
     failure MINT_ROOTCN         "Failure minting root CNode into task CNode",
     failure CREATE_SLOTALLOC_CNODE "Failure creating slot_alloc cnode",
 
@@ -566,7 +590,8 @@ errors spawn SPAWN_ERR_ {
 
     // setup session id cap
     failure SETUP_SIDCAP        "Failure setting up session capability",
-    failure COPY_SIDCAP         "Failure copying session id capability",
+
+    failure SETUP_KERNEL_CAP    "Failure setting up kernel capability",
 
     // spawn_free
     failure DELETE_ROOTCN       "Failure deleting root CNode cap in parent",
@@ -579,14 +604,19 @@ errors spawn SPAWN_ERR_ {
     failure COPY_IRQ_CAP        "Error copying IRQ cap",
     failure COPY_IO_CAP         "Error copying IO cap",
     failure COPY_PERF_MON      "Error copying performance monitoring cap",
+    failure COPY_KERNEL_CAP     "Error copying Kernel cap",
+    failure COPY_INHERITCN_CAP  "Error copying capability from inherited cnode",
 
     // make_runnable
-    failure DISPATCHER_SETUP   "Dispatcher setup",
+    failure DISPATCHER_SETUP    "Dispatcher setup",
 
     // domain management
-    failure DOMAIN_ALLOCATE    "No more domain descriptors",
-    failure DOMAIN_NOTFOUND    "Domain not found",
-    failure DOMAIN_RUNNING     "Domain is running",
+    failure DOMAIN_ALLOCATE    "No more domain descriptors",
+    failure DOMAIN_NOTFOUND    "Domain not found",
+    failure DOMAIN_RUNNING    "Domain is running",
+
+    failure FIND_SPAWNDS       "Unable to find spawn daemons",
+    failure MALFORMED_SPAWND_RECORD "Spawn record without ID found?",
 };
 
 // errors from ELF library
@@ -636,6 +666,7 @@ errors init INIT_ERR_ {
     failure COPY_SUPERCN_CAP    "Failed to copy superCN cap to mem_serv",
     failure MAP_BOOTINFO        "Failed to map bootinfo to child",
     failure COPY_KERNEL_CAP     "Failed to copy kernel cap to monitor",
+    failure COPY_IPI            "Failed to copy IPI cap to monitor",
     failure COPY_PERF_MON       "Failed to copy performance monitoring cap to monitor",
     failure COPY_MODULECN_CAP   "Failed to copy module CNode cap to monitor",
     failure COPY_PACN_CAP       "Failed to copy phys addr CNode cap to monitor",
@@ -725,6 +756,7 @@ errors angler ANGLER_ERR_ {
 
 // errors in trace
 errors trace TRACE_ERR_ {
+    success SUBSYS_DISABLED     "Event not recorded because subsystem is disabled",
     failure NO_BUFFER           "Trace buffer does not exist",
     failure MAP_BUF             "Failed to map trace buffer",
     failure CREATE_CAP          "Failed to create trace buffer cap",
@@ -800,7 +832,7 @@ errors vfs VFS_ERR_ {
     failure IN_STAT             "Nested error in vfs_stat()",
     failure IN_READ             "Nested error in vfs_read()",
 
-    failure BCACHE_LIMIT       "Number of buffer cache connections exceeded",
+    failure BCACHE_LIMIT    "Number of buffer cache connections exceeded",
 };
 
 // NFS client errors
@@ -872,8 +904,8 @@ errors lwip LWIP_ERR_ {
 
 // DIST library errors
 errors dist DIST_ERR_ {
-     failure NS_REG     "Name service register failed.",
-     failure NS_LOOKUP  "Name service lookup failed.",
+     failure NS_REG     "Name service register failed.",
+     failure NS_LOOKUP     "Name service lookup failed.",
 };
 
 // octopus library errors
@@ -902,8 +934,12 @@ errors kaluga  KALUGA_ERR_ {
     failure MODULE_NOT_FOUND       "Boot module not found.",
     failure DRIVER_ALREADY_STARTED "Driver for this type of device is already running.",
     failure DRIVER_NOT_AUTO        "Driver not declared as auto in menu.lst.",
+    failure WAITING_FOR_ACPI       "Unable to wait for ACPI",
+    failure QUERY_LOCAL_APIC       "Unable to query local APIC.",
+
 };
 
+
 // errors generated by THC
 errors thc THC_ {
     failure CANCELED            "Operation canceled",
@@ -911,18 +947,18 @@ errors thc THC_ {
 
 // errors generated by memory server
 errors ms MS_ERR_ {
-    failure SKB                        "Invalid data from SKB",
-    failure INIT_PEERS         "Could not initialise peer data structures",
+    failure SKB            "Invalid data from SKB",
+    failure INIT_PEERS        "Could not initialise peer data structures",
 };
 
 // errors generated by startd
 errors startd STARTD_ERR_ {
-    failure BOOTMODULES                "Invalid bootmodules file",
+    failure BOOTMODULES        "Invalid bootmodules file",
 };
 
 errors lox LOX_ERR_ {
-    failure INIT_LOCKS         "Failure initialising locks",
-    failure NO_LOCKS           "No more locks available",
+    failure INIT_LOCKS        "Failure initialising locks",
+    failure NO_LOCKS        "No more locks available",
 };
 
 // errors generated by VBE framebuffer driver
@@ -978,3 +1014,131 @@ errors omap_sdma OMAP_SDMA_ERR_ {
 errors common ERR_ {
     failure NOTIMP              "Not implemented",
 };
+
+errors bulk_transfer BULK_TRANSFER_ {
+    failure MEM                 "Internal not enough memory error",
+    failure NO_CALLBACK         "No callback was set",
+    failure CHAN_CREATE         "Channel create operation failed.",
+    failure CHAN_BIND           "Channel bind operation failed.",
+    failure CHAN_ASSIGN_POOL    "Channel assign pool operation failed.",
+    failure CHAN_STATE          "Channel has a wrong state",
+    failure CHAN_TRUST          "Channel has a invalid trust level.",
+    failure CHAN_INVALID_EP     "Channel has an invalid endpoint.",
+    failure CHAN_DIRECTION      "The channel has the wrong direction for this operation.",
+    failure POOL_INVALD         "The pool does not match.",
+    failure POOL_NOT_ASSIGNED   "The pool has not yet been assigned to a channel.",
+    failure POOL_ASSIGN_VETO    "The assignment request of the pool has been vetoed.",
+    failure POOL_MAP            "Mapping of the pool failed",
+    failure POOL_UNMAP          "The Unmapping of the pool failed",
+    failure POOL_ALREADY_ASSIGNED "The pool has already been assigned to this channel.",
+    failure POOL_ALREADY_REMAPPED "The pool has already been remapped.",
+    failure BUFFER_NOT_OWNED    "The supplied buffer is not owned by this domain.",
+    failure BUFFER_INVALID      "The buffer is not valid.",
+    failure BUFFER_ALREADY_MAPPED "The buffer is already mapped.",
+    failure BUFFER_STATE        "The buffer has a wrong state.",
+    failure BUFFER_REFCOUNT     "The buffer has a wrong reference count.",
+    failure BUFFER_NOT_A_COPY   "The released buffer is not a copy.",
+    failure BUFFER_MAP          "The mapping of the buffer failed",
+    failure BUFFER_UNMAP        "The unmapping of the buffer failed.",
+    failure ALLOC_BUFFER_SIZE   "The supplied buffer size is not valid.",
+    failure ALLOC_BUFFER_COUNT  "The supplied buffer count is not valid.",
+    failure INVALID_ARGUMENT    "The supplied argument is invalid.",
+    failure SM_NO_PENDING_MSG   "No pending message associated with that tid",
+    failure SM_EXCLUSIVE_WS     "BULK_SM: Exclusive waitset required per channel.",
+    failure NET_MAX_QUEUES      "The number of maximum queues is reached",
+    failure NET_POOL_USED       "The pool is already used over a no-copy channel.",
+    
+    
+};
+
+errors virtio VIRTIO_ERR_ {
+    failure SIZE_INVALID         "Size of the ringe is zero or not a power of two",
+    failure MAX_INDIRECT         "Too much indirect descriptors",
+    failure CAP_SIZE             "Supplied cap is too small",
+    failure QUEUE_FULL           "The queue was full",
+    failure QUEUE_EMPTY          "The queue was empty",
+    failure BACKEND              "Invalid backend",
+    failure DEVICE_REGISTER      "The device registers have not been mapped",
+    failure NOT_VIRTIO_DEVICE    "The device is not a VirtIO device",
+    failure VERSION_MISMATCH     "The VirtIO versions do mismatch",
+    failure DEVICE_STATUS        "VirtIO device has the wrong status",
+    failure DEVICE_TYPE          "The VirtIO device is not of the expected type",
+    failure DEVICE_IDLE          "The VirtIO device is idle. No new requests.",
+    failure QUEUE_ACTIVE         "The selected qeueue is already activated",
+    failure QUEUE_INVALID        "The selected queue does not exist",
+    failure QUEUE_BUSY           "The queue is busy.",
+    failure BUFFER_SIZE          "The buffer size is invalid.",
+    failure BUFFER_STATE         "The state of the buffer / buffer list is invalid",               
+    failure ARG_INVALID          "The given argument is invalid.",
+    failure NO_BUFFER            "No buffer given, number of buffers is 0",
+    failure ALLOC_FULL           "The allocator is already full",
+    failure BUFFER_USED          "The buffer is already enqueued and used",
+    failure NO_DESC_AVAIL        "There is no descriptor availabe",
+    failure DEQ_CHAIN            "Not the entire chain could be dequeued",
+    failure INVALID_RING_INDEX   "The supplied index is not valid", 
+    failure BLK_REQ_IOERR        "The request ended in an IO error",
+    failure BLK_REQ_UNSUP        "The request type was not supported",
+};
+
+errors xeon_phi XEON_PHI_ERR_ {
+    failure MGR_REGISTER_FAILED  "Registration with the Xeon Phi Manager failed",
+    failure MGR_MAX_CARDS        "There are too much drivers connected",
+    failure MSG_NOT_REACHABLE    "There is not connection to that Xeon Phi",
+    failure MSG_NOT_INITIALIZED  "Messaging service has not been initialized",
+    failure CLIENT_OPEN_REJECT   "Client rejected the channel open",
+    failure CLIENT_DOMAIN_VOID   "The targeted domain was not found",
+    failure CLIENT_REGISTER      "Xeon Phi client could not be registered with the driver",
+    failure CLIENT_BUSY          "The connection to the Xeon Phi driver is busy",
+    failure INVALID_ID           "Supplied Xeon Phi ID is invalid",
+};
+
+errors dma DMA_ERR_ {
+    failure PCI_ADDRESS           "The PCI address of the device is not as expected",
+    failure DEVICE_UNSUPPORTED    "Device ID not supported /  wrong configuration",
+    failure DEVICE_IDLE           "The device is idle, no transfers finished",
+    failure ARG_INVALID           "Supplied argument was not valid",
+    failure RESET_TIMEOUT         "The reset attempt timed out",
+    failure NO_DESCRIPTORS        "There are too less descriptors available",
+    failure NO_REQUESTS           "There are no request descriptors left",
+    failure CHAN_ERROR            "Hardware channel error",
+    failure CHAN_BUSY             "The channel is busy and cannot accept more",
+    failure CHAN_IDLE             "There were no finished requests on the channel",
+    failure REQUEST_UNFINISHED    "The request is still in operation",
+    failure REQUEST_UNSUPPORTED   "Request is not supported by this device/channel",
+    failure REQUEST_TOO_LARGE     "Request size is too large",
+    failure REQUEST_ID            "Request with that ID does not exist",
+    failure ALIGNMENT             "The address / size is worngly alined",
+    failure MEM_OVERLAP           "The memory regions overlap",
+    failure MEM_NOT_REGISTERED    "The memory region was not registered",
+    failure MEM_OUT_OF_RANGE      "Memory region is out of supported range",
+    failure SVC_REJECT              "Service request was rejected",
+    failure SVC_RESOURCES         "No resources to handle the service",
+    failure SVC_VOID              "There is no service that could serve the request",
+    failure SVC_NO_CONNECTION     "There is no connection established",
+    failure SVC_BUSY              "Connecton is busy with an RPC",
+};
+
+errors xomp XOMP_ERR_ {
+    failure INVALID_WORKER_ARGS   "The command line arguments are not XOMP worker",
+    failure BAD_INVOCATION        "Domain was not spawned with worker args",
+    failure INVALID_MSG_FRAME     "The supplied messaging frame was invalid",
+    failure SPAWN_WORKER_FAILED   "Spawning of the worker failed",
+    failure MASTER_NOT_INIT       "XOMP Master library has not been initialized",
+    failure WORKER_INIT_FAILED    "Worker initialization failed",
+    failure WORKER_STATE          "worker is in the wrong state",
+    failure INVALID_MEMORY        "the memory has not been registred / shared",
+    failure INVALID_TOKEN         "the token was invalid",
+    failure INVALID_ARGUMENTS     "the library was initialized with invalid args",
+};
+
+errors numa NUMA_ERR_ {
+    failure NOT_AVAILABLE         "NUMA functionality is not available",
+    failure BITMAP_PARSE          "Parsing of the bitmap character string failed",
+    failure BITMAP_RANGE          "The bitmap is too small to hold the data",
+    failure NUMA_MEMBIND          "Setting the memory binding failed",
+    failure LIB_INIT              "Library initialization failure",
+    failure SKB                   "Failed to query or connect the SKB",
+    failure SKB_DATA              "The returned data from the SKB is incomplete",
+    failure NODEID_INVALID        "Invalid node ID",
+    failure COREID_INVALID        "Invalid core ID",
+};