+
/*
* Copyright (c) 2009, 2010, 2011, 2012, ETH Zurich.
* Copyright (c) 2014, HP Labs.
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",
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",
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",
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",
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",
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()",
// 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",
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
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",
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
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",
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",
// 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",
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
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",
// 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",
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
// 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
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",
// 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
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",
+};
projects / barrelfish / blobdiff