2 * Copyright (c) 2009, 2010, 2011, 2012, ETH Zurich.
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, CAB F.78, Universitaetstr. 6, CH-8092 Zurich,
11 // Kernel/syscall errors
12 errors kernel SYS_ERR_ {
13 default success OK "Success",
15 // generic errors during system call handling
16 failure ILLEGAL_SYSCALL "Illegal system call number",
17 failure INVARGS_SYSCALL "Invalid system call arguments",
18 failure CALLER_ENABLED "Invalid system call while enabled",
19 failure CALLER_DISABLED "Invalid system call while disabled",
20 failure ILLEGAL_INVOCATION "Illegal capability invocation",
21 failure INVALID_USER_BUFFER "Invalid user space buffer",
24 failure LMP_NO_TARGET "There is no target dispatcher for this endpoint",
25 failure LMP_TARGET_DISABLED "Target of LMP is disabled",
26 failure LMP_BUF_OVERFLOW "The endpoint buffer is full",
27 failure LMP_EP_STATE_INVALID "Target has corrupt/invalid state in its endpoint structure",
28 failure LMP_CAPTRANSFER_SRC_LOOKUP "Error looking up source for cap transfer",
29 failure LMP_CAPTRANSFER_DST_CNODE_LOOKUP "Error looking up destination CNode for cap transfer",
30 failure LMP_CAPTRANSFER_DST_CNODE_INVALID "Destination CNode cap not of type CNode for cap transfer",
31 failure LMP_CAPTRANSFER_DST_SLOT_OCCUPIED "Destination slot is occupied for cap transfer",
32 failure LRPC_SLOT_INVALID "Invalid slot specified for LRPC",
33 failure LRPC_NOT_ENDPOINT "Slot specified for LRPC does not contain an endpoint cap",
34 failure INVALID_EPLEN "Endpoint buffer has invalid length",
36 // XXX: this should go away -AB
37 failure IDC_MSG_BOUNDS "Attempted to retrieve a word beyond the size of an LMP message structure",
39 // Generic CSpace lookup errors
40 failure CNODE_TYPE "Encountered non-CNode capability when resolving slot",
41 failure CNODE_RIGHTS "Insufficient rights on CNode",
42 failure DEPTH_EXCEEDED "Exceeded depth limit of CSpace",
43 failure GUARD_MISMATCH "Guard does not match",
44 failure CAP_NOT_FOUND "Capability not found (empty slot encountered)",
45 failure IDENTIFY_LOOKUP "Error while looking up cap to identify",
47 // Generic capability manipulation errors
48 failure SLOT_IN_USE "Destination capability slots occupied",
49 failure SLOT_LOOKUP_FAIL "Failure during slot lookup",
50 failure GUARD_SIZE_OVERFLOW "Specified guard size exceeds CSpace depth",
51 failure INVALID_SOURCE_TYPE "Invalid source capability type",
52 failure ILLEGAL_DEST_TYPE "Illegal destination capability type",
53 failure SOURCE_CAP_LOOKUP "Error looking up source capability",
54 failure DEST_CNODE_LOOKUP "Error looking up destination CNode",
55 failure DEST_CNODE_INVALID "Destination CNode cap is not of type CNode",
56 failure ROOT_CAP_LOOKUP "Error looking up root capability",
57 failure DEST_TYPE_INVALID "Destination capability is of invalid type",
58 failure INVALID_RETYPE "Invalid source/destination type pair for retyping",
59 failure REVOKE_FIRST "Capability already has descendants or siblings",
60 failure INVALID_SIZE_BITS "Invalid size for new objects",
61 failure SLOTS_INVALID "Destination capability slots exceed capacity of CNode",
62 failure SLOTS_IN_USE "One or more destination capability slots occupied",
63 failure RETYPE_CREATE "Error while creating new capabilities in retype",
64 failure NO_LOCAL_COPIES "No copies of specified capability in local MDB",
65 failure RETRY_THROUGH_MONITOR "There is a remote copy of the capability, monitor must be involved to perform a cross core agreement protocol",
66 failure TYPE_NOT_CREATABLE "Specified capability type is not creatable at runtime. Consider retyping it from another capability.",
68 // errors specific to page mapping
69 failure VNODE_SLOT_INVALID "Destination slot exceeds size of page table",
70 failure WRONG_MAPPING "Wrong source/destination mapping type",
71 failure FRAME_OFFSET_INVALID "Specified offset exceeds size of frame",
72 failure VNODE_SLOT_RESERVED "Destination slot is reserved",
73 failure VNODE_SLOT_INUSE "Destination slot in use: unmap first",
74 failure VNODE_TYPE "Encountered non-VNode capability when manipulating page tables",
75 failure VNODE_LOOKUP_NEXT "Could not find next level page table",
76 failure VNODE_NOT_INSTALLED "VNode not in rooted page table tree",
77 failure VM_ALREADY_MAPPED "This cap copy is already mapped",
78 failure VM_MAP_SIZE "Mapping size too large",
79 failure VM_MAP_OFFSET "Mapping offset too large",
80 failure VM_RETRY_SINGLE "Mapping overlaps multiple leaf page tables, retry",
82 // errors related to IRQ table
83 failure IRQ_LOOKUP "Specified capability was not found while inserting in IRQ table",
84 failure IRQ_NOT_ENDPOINT "Specified capability is not an endpoint cap",
85 failure IRQ_NO_LISTENER "No listener on specified endpoint cap", // ??
86 failure IRQ_INVALID "Invalid interrupt number",
89 failure IO_PORT_INVALID "IO port out of range",
91 // Dispatcher setup and spawn core invocations
92 failure DISP_CSPACE_ROOT "Error setting CSpace root on dispatcher",
93 failure DISP_CSPACE_INVALID "Invalid capability type given for CSpace root on dispatcher",
94 failure DISP_VSPACE_ROOT "Error setting VSpace root on dispatcher",
95 failure DISP_VSPACE_INVALID "Invalid capability type given for VSpace root on dispatcher",
96 failure DISP_FRAME "Error setting dispatcher frame",
97 failure DISP_FRAME_INVALID "Invalid capability type given for dispatcher frame",
98 failure DISP_NOT_RUNNABLE "Cannot run dispatcher; it is not completely setup",
99 failure DISP_CAP_LOOKUP "Error looking up dispatcher cap",
100 failure DISP_CAP_INVALID "Invalid type capability given for dispatcher cap",
101 failure KERNEL_MEM_LOOKUP "Error looking up capability for kernel memory",
102 failure KERNEL_MEM_INVALID "Invalid capability type passed for kernel memory",
103 failure CORE_NOT_FOUND "Unable to boot core: core ID does not exist",
104 failure INVALID_YIELD_TARGET "Target capability for directed yield is invalid",
105 failure DISP_OCAP_LOOKUP "Error looking up other dispatcher cap",
107 // VMKit specific errors
108 failure VMKIT_UNAVAIL "Virtualization extensions are unavailable",
109 failure VMKIT_VMCB "Error setting VMCB for dispatcher",
110 failure VMKIT_VMCB_INVALID "Invalid frame capability passed for VMCB",
111 failure VMKIT_CTRL "Error setting control area for dispatcher",
112 failure VMKIT_CTRL_INVALID "Invalid frame capability passed for control structure",
113 failure VMKIT_ENDPOINT "Error setting monitor endpoint for dispatcher",
114 failure VMKIT_ENDPOINT_INVALID "Invalid monitor endpoint capability passed",
116 // Serial port errors
117 failure SERIAL_PORT_INVALID "Invalid serial port",
118 failure SERIAL_PORT_UNAVAILABLE "Serial port unavailable",
120 // Performance monitoring errors
121 failure PERFMON_NOT_AVAILABLE "Performance monitoring feature unavailable",
123 // Time synchronization errors
124 failure SYNC_MISS "Missed synchronization phase",
127 failure CROSS_MC "Frame crosses memory controllers",
130 failure ID_SPACE_EXHAUSTED "ID space exhausted",
133 // errors generated by libcaps
134 errors libcaps CAPS_ERR_ {
136 failure INVALID_ARGS "Invalid arguments",
138 // mdb operation errors
139 failure MDB_DUPLICATE_ENTRY "Inserted entry already present",
140 failure MDB_ENTRY_NOTFOUND "Removed entry not found",
143 failure CAP_NOT_FOUND "Did not find a matching capability",
146 // errors generated by libbarrelfish code
147 errors libbarrelfish LIB_ERR_ {
149 failure WHILE_DELETING "Error while deleting capability",
150 failure WHILE_FREEING_SLOT "Error while freeing capability slot",
151 failure MALLOC_FAIL "Malloc returned NULL",
152 failure SLAB_ALLOC_FAIL "slab_alloc() returned NULL",
153 failure SLAB_REFILL "Refilling slab allocator failed",
154 failure NOT_IMPLEMENTED "functionality not implemented yet",
155 failure SHOULD_NOT_GET_HERE "Should not get here",
156 failure NOT_CNODE "Function invoked on a capref, that does not represent a CNode",
158 // nested errors in specific functions
159 failure FRAME_ALLOC "Failure in frame_alloc()",
160 failure FRAME_CREATE "Failure in frame_create()",
161 failure FRAME_CREATE_MS_CONSTRAINTS "frame_create() failed due to constraints to mem_serv in ram_alloc",
162 failure VNODE_CREATE "Failure in vnode_create()",
163 failure CNODE_CREATE "Failure in cnode_create()",
164 failure CNODE_CREATE_FROM_MEM "Failure in cnode_create_from_mem()",
165 failure RAM_ALLOC "Failure in ram_alloc()",
166 failure RAM_ALLOC_WRONG_SIZE "Wrong size of memory requested in ram alloc",
167 failure RAM_ALLOC_MS_CONSTRAINTS "Ram alloc failed due to constraints to mem_serv",
168 failure CAP_MINT "Failure in cap_mint()",
169 failure CAP_COPY "Failure in cap_copy()",
170 failure CAP_RETYPE "Failure in cap_retype()",
171 failure DEVFRAME_TYPE "Failure in devframe_type()",
172 failure CAP_DELETE "Failure in cap_delete()",
173 failure CAP_DESTROY "Failure in cap_destroy()",
174 failure CAP_INVOKE "Failure in cap_invoke()",
175 failure ENDPOINT_CREATE "Failure in endpoint_create()",
176 failure FRAME_IDENTIFY "Failure in frame_identify",
177 failure VNODE_MAP "Failure in vnode_map()",
178 failure VNODE_UNMAP "Failure in vnode_unmap()",
179 failure IDC_ENDPOINT_ALLOC "Failure in idc_endpoint_alloc()",
181 failure SLOT_ALLOC_INIT "Failure in slot_alloc_init()",
182 failure SLOT_ALLOC_NO_SPACE "Slot allocator is out of space",
183 failure SLOT_ALLOC_WRONG_CNODE "The slot to free does not belong in this cnode",
184 failure SINGLE_SLOT_ALLOC_INIT_RAW "Failure in single_slot_alloc_init_raw()",
185 failure SINGLE_SLOT_ALLOC_INIT "Failure in single_slot_alloc_init()",
186 failure MULTI_SLOT_ALLOC_INIT "Failure in multi_slot_alloc_init()",
187 failure MULTI_SLOT_ALLOC_INIT_RAW "Failure in multi_slot_alloc_init_raw()",
188 failure SINGLE_SLOT_ALLOC "Failure in single_slot_alloc()",
189 failure SLOT_ALLOC "Failure in slot_alloc()",
190 failure SLOT_FREE "Failure in slot_free()",
191 failure SLOT_UNALLOCATED "slot_free() was called on an unallocated slot",
194 failure VSPACE_CURRENT_INIT "Failure in vspace_current_init()",
195 failure VSPACE_INIT "Failure in vspace_init()",
196 failure VSPACE_LAYOUT_INIT "Failure in vspace_layout_init()",
197 failure VSPACE_DESTROY "Failure in vspace_destroy()",
198 failure VSPACE_REGION_OVERLAP "Overlap with existing region in vspace_add_region()",
199 failure VSPACE_ADD_REGION "Failure in vspace_add_region()",
200 failure VSPACE_REMOVE_REGION "Failure in vspace_remove_region()",
201 failure VSPACE_PAGEFAULT_HANDER "Failure in vspace_pagefault_handler()",
202 failure VSPACE_VREGION_NOT_FOUND "The vregion to remove not found in the vspace list",
203 failure VSPACE_PAGEFAULT_ADDR_NOT_FOUND "The faulting address not found in the page fault handler",
205 failure VSPACE_PINNED_INIT "Failure in vspace_pinned_init()",
206 failure VSPACE_PINNED_ALLOC "Failure in vspace_pinned_alloc()",
207 failure VSPACE_PINNED_INVALID_TYPE "Wrong type of slab requested",
209 failure VREGION_MAP "Failure in vregion_map()",
210 failure VREGION_MAP_FIXED "Failure in vregion_map_fixed()",
211 failure VREGION_NOT_FOUND "vregion not found in the vspace list",
212 failure VREGION_DESTROY "Failure in vregion_destroy()",
213 failure VREGION_PAGEFAULT_HANDLER "Failure in vregion_pagefault_handler()",
214 failure VREGION_BAD_ALIGNMENT "Unaligned address passed to vregion_map_fixed",
216 failure MEMOBJ_CREATE_ANON "Failure in memobj_create_anon()",
217 failure MEMOBJ_CREATE_ONE_FRAME "Failure in memobj_create_one_frame()",
218 failure MEMOBJ_CREATE_ONE_FRAME_ONE_MAP "Failure in memobj_create_one_frame_one_map()",
219 failure MEMOBJ_CREATE_PINNED "Failure in memobj_create_pinned()",
220 failure MEMOBJ_CREATE_VFS "Failure in memobj_create_vfs()",
221 failure MEMOBJ_MAP_REGION "Failure in memobj_map_region()",
222 failure MEMOBJ_UNMAP_REGION "Failure in memobj_unmap_region()",
223 failure MEMOBJ_PIN_REGION "Failure in memobj_pin_region()",
224 failure MEMOBJ_UNPIN_REGION "Failure in memobj_unpin_region()",
225 failure MEMOBJ_FILL "Failure in memobj_fill()",
226 failure MEMOBJ_PAGEFAULT_HANDLER "Failure in memobj_pagefault_handler()",
227 failure MEMOBJ_PAGER_FREE "Failure in memobj_pager_free()",
228 failure MEMOBJ_WRONG_OFFSET "Wrong offset passed",
229 failure MEMOBJ_FRAME_ALLOC "Failure the frame alloc function pointer",
230 failure MEMOBJ_VREGION_ALREADY_MAPPED "Pinned memobj only supports one vregion",
231 failure MEMOBJ_UNFILL_TOO_HIGH_OFFSET "The offset given to unfill is too large",
232 failure MEMOBJ_PROTECT "Failure in memobj protect call",
233 failure MEMOBJ_DUPLICATE_FILL "The offset given to fill is already backed",
235 failure PMAP_INIT "Failure in pmap_init()",
236 failure PMAP_CURRENT_INIT "Failure in pmap_current_init()",
237 failure PMAP_DETERMINE_ADDR "Failure in pmap_determine_addr()",
238 failure PMAP_DO_MAP "Failure in pmap_do_map()",
239 failure PMAP_MAP "Failure in pmap_map()",
240 failure PMAP_DO_SINGLE_MAP "Failure in pmap_do_single_map()",
241 failure PMAP_UNMAP "Failure in pmap_unmap()",
242 failure PMAP_DO_SINGLE_UNMAP "Failure in pmap_do_single_unmap()",
243 failure PMAP_MODIFY_FLAGS "Failure in pmap_modify_flags()",
244 failure PMAP_GET_PTABLE "Failure in get_mapping()",
245 failure PMAP_ALLOC_VNODE "Failure in alloc_vnode()",
246 failure PMAP_ADDR_NOT_FREE "The requested address range is not free",
247 failure PMAP_FIND_VNODE "vnode not found",
248 failure PMAP_EXISTING_MAPPING "Cannot replace existing mapping, unmap first",
250 failure OUT_OF_VIRTUAL_ADDR "Out of virtual address",
252 failure SERIALISE_BUFOVERFLOW "Buffer overflow while serialising",
254 failure VSPACE_MAP "Failure in vspace_map() wrapper function",
256 failure VSPACE_MMU_AWARE_INIT "Failure in vspace_mmu_aware_init() function",
257 failure VSPACE_MMU_AWARE_MAP "Failure in vspace_mmu_aware_map() function",
258 failure VSPACE_MMU_AWARE_NO_SPACE "Out of space in vspace_mmu_aware_map() function",
260 // Performance counters
261 failure INVOKE_PERFMON_SETUP "Error in invoke perfmon setup",
262 failure INVOKE_PERFMON_WRITE "Error in invoke perfmon write",
265 failure CORESET_NEW "Failure in coreset_new()",
266 failure CORESET_GET_NEXT_DONE "No more elements left in coreset_get_next()",
268 // IDC (and LMP/UMP channels)
269 failure NO_LMP_MSG "No LMP message available",
270 failure LMP_RECV_BUF_OVERFLOW "LMP message in endpoint is longer than user-provided buffer",
271 failure NO_UMP_MSG "No UMP message available",
272 failure UMP_CHAN_FULL "Cannot send UMP: channel is full",
273 failure LMP_BUFLEN_INVALID "Cannot create LMP endpoint, invalid buffer length",
274 failure NO_ENDPOINT_SPACE "Cannot allocate LMP endpoint, out of space in dispatcher frame",
275 failure UMP_BUFSIZE_INVALID "Size of UMP buffer is invalid (must be multiple of message size)",
276 failure UMP_BUFADDR_INVALID "Address of UMP buffer is invalid (must be cache-aligned)",
277 failure UMP_FRAME_OVERFLOW "Provided frame is too small for requested UMP channel sizes",
278 failure LMP_ENDPOINT_REGISTER "Failure in lmp_endpoint_register()",
279 failure CHAN_REGISTER_SEND "Failure in *_chan_register_send()",
280 failure CHAN_DEREGISTER_SEND "Failure in *_chan_deregister_send()",
281 failure CHAN_REGISTER_RECV "Failure in *_chan_register_recv()",
282 failure CHAN_DEREGISTER_RECV "Failure in *_chan_deregister_recv()",
283 failure LMP_CHAN_INIT "Failure in lmp_chan_init()",
284 failure UMP_CHAN_INIT "Failure in ump_chan_init()",
285 failure LMP_CHAN_RECV "Failure in lmp_chan_recv()",
286 failure UMP_CHAN_RECV "Failure in ump_chan_recv()",
287 failure LMP_CHAN_SEND "Failure in lmp_chan_send()",
288 failure LMP_CHAN_BIND "Failure in lmp_chan_bind()",
289 failure UMP_CHAN_BIND "Failure in ump_chan_bind()",
290 failure LMP_CHAN_ACCEPT "Failure in lmp_chan_accept()",
291 failure UMP_CHAN_ACCEPT "Failure in ump_chan_accept()",
292 failure LMP_ALLOC_RECV_SLOT "Failure in lmp_chan_alloc_recv_slot()",
293 failure LMP_NOT_CONNECTED "Channel is disconnected",
294 failure MSGBUF_OVERFLOW "Attempted to demarshall beyond bounds of message buffer",
295 failure MSGBUF_CANNOT_GROW "Failed to grow message buffer while marshalling",
296 failure RCK_NOTIFY "Failure in rck_notify()",
297 failure IPI_NOTIFY "Failure in ipi_notify()",
299 // IDC binding/export and Monitor client interface
300 failure MONITOR_CLIENT_BIND "Error in monitor_client_lmp_bind()",
301 failure MONITOR_CLIENT_ACCEPT "Error in monitor_client_lmp_accept()",
302 failure NAMESERVICE_NOT_BOUND "Name service client is not bound",
303 failure NAMESERVICE_UNKNOWN_NAME "Lookup failed: unknown name",
304 failure NAMESERVICE_INVALID_NAME "Invalid record retrieved (no iref attribute)",
305 failure BIND_LMP_REQ "Failure sending bind_lmp_request to monitor",
306 failure BIND_UMP_REQ "Failure sending bind_ump_request to monitor",
307 failure BIND_LMP_REPLY "Failure sending bind_lmp_reply to monitor",
308 failure BIND_UMP_REPLY "Failure sending bind_ump_reply to monitor",
309 failure NO_LMP_BIND_HANDLER "LMP connection handler not registered for this service",
310 failure NO_UMP_BIND_HANDLER "UMP connection handler not registered for this service",
311 failure MONITOR_CAP_SEND "Failed sending capability via monitor",
312 failure MONITOR_RPC_BIND "Error in monitor_rpc_init()",
315 failure BIND_MULTIHOP_REQ "Failed sending bind_multihop_request to monitor",
316 failure NO_MULTIHOP_BIND_HANDLER "MULTIHOP connection handler not registered for this service",
317 failure BIND_MULTIHOP_SAME_CORE "Cannot create a multihop channel to service on the same core",
320 failure BULK_UNKNOWN_ID "Unknown bulk transfer block ID",
323 failure NO_SPANNED_DISP "There is no spanned dispatcher on the given core",
324 failure SEND_RUN_FUNC_REQUEST "Failure in trying to send run_func_request",
325 failure SEND_CAP_REQUEST "Failure in trying to send capability",
326 failure CAP_COPY_FAIL "cap_copy failed",
327 failure CAP_DELETE_FAIL "cap_delete failed",
330 failure RAM_ALLOC_SET "Failure in ram_alloc_set()",
331 failure MORECORE_INIT "Failure in morecore_init()",
332 failure MONITOR_CLIENT_INIT "Failure in monitor_client_init",
333 failure MONITOR_CLIENT_CONNECT "Failure in monitor_client_connect",
334 failure TERMINAL_INIT "Failure in terminal_init()",
335 failure DOMAIN_INIT "Failure in domain_init()",
336 failure GET_MON_BLOCKING_IREF "Error while retrieving monitor's blocking channel service IREF from monitor",
337 failure GET_MEM_IREF "Failure sending memory iref request",
338 failure GET_NAME_IREF "Error while retrieving name service IREF from monitor",
339 failure GET_RAMFS_IREF "Error while retrieving ramfsd service IREF from monitor",
340 failure NAMESERVICE_CLIENT_INIT "Failure initialising nameservice client",
343 failure THREAD_CREATE "A version of thread create failed",
344 failure THREAD_JOIN "Joining more than once not allowed",
345 failure THREAD_JOIN_DETACHED "Tried to join with a detached thread",
346 failure THREAD_DETACHED "Thread is already detached",
348 // Waitset/event code
349 failure CHAN_ALREADY_REGISTERED "Attempt to register for an event on a channel which is already registered",
350 failure CHAN_NOT_REGISTERED "Channel is not registered with a waitset",
351 failure WAITSET_IN_USE "Waitset has pending events or blocked threads",
352 failure WAITSET_CHAN_CANCEL "Error in waitset_chan_cancel()",
353 failure NO_EVENT "Nothing pending in check_for_event()",
354 failure EVENT_DISPATCH "Error in event_dispatch()",
355 failure EVENT_ALREADY_RUN "Error in event_queue_cancel(): event has already been run",
356 failure EVENT_QUEUE_EMPTY "Error in event_queue_trigger(): queue is empty",
358 // LDT management on x86
359 failure SEGBASE_OVER_4G_LIMIT "Segment base address is above 32-bit boundary",
360 failure LDT_FULL "LDT is out of space",
361 failure LDT_SELECTOR_INVALID "Segment selector is invalid for LDT",
364 // errors in Flounder-generated bindings
365 errors flounder FLOUNDER_ERR_ {
366 failure INVALID_STATE "Invalid/corrupt state in binding structure",
367 failure TX_BUSY "Cannot queue message for transmit: queue is full",
368 failure RX_EMPTY_MSG "Incoming message invalid: empty payload",
369 failure RX_INVALID_MSGNUM "Incoming message invalid: unknown message code",
370 failure RX_INVALID_LENGTH "Incoming message has invalid length",
371 failure BUF_RECV_MORE "(internal) incomplete buffer received; call again for more",
372 failure BUF_SEND_MORE "(internal) incomplete buffer sent; call again to send more",
373 failure GENERIC_BIND_NO_MORE_DRIVERS "Generic bind() call failed after trying all enabled interconnect drivers",
374 failure CHANGE_WAITSET "Error in change_waitset() call",
375 failure CHANGE_MONITOR_WAITSET "Error changing waitset on underlying monitor binding",
376 failure UMP_ALLOC_NOTIFY "Error while allocating notify cap/state for UMP",
377 failure UMP_STORE_NOTIFY "Error while storing notify cap for UMP",
379 failure BIND "Error in flounder generated bind call",
381 // XXX: errors from old flounder stubs, to be removed
382 failure CREATE_MSG "Flounder marshalling code failed: create_msg() returned NULL", // FIXME
383 failure MARSHALLING "Error while marshalling",
384 failure DEMARSHALLING "Error while demarshalling",
385 failure RPC_MISMATCH "RPC response not matching the call",
389 // errors generated by chips name service
390 errors chips CHIPS_ERR_ {
391 failure GET_SERVICE_REFERENCE "Error getting service reference from name service",
392 failure GET_SERVICE_IREF "Error getting IREF from name service",
393 failure UNKNOWN_NAME "Lookup failed: unknown name",
394 failure EXISTS "Entry already exists",
395 failure GET_CAP "Error getting a capability from store",
396 failure PUT_CAP "Error putting a capability to store",
397 failure REMOVE_CAP "Error removing a capability from store",
398 failure OUT_OF_SEMAPHORES "Out of semaphores",
401 // errors generated by bcast library
402 errors bcast BCAST_ERR_ {
403 failure SEND "Failure in bcast_send function",
404 failure SEND_SSF "Failure in trying to send ssf msg",
407 // errors generated in the monitor-client protocol
408 errors mon_client MON_CLIENT_ERR_ {
409 failure SPAN_DOMAIN_REQUEST "Error sending span_domain_request msg",
410 failure URPC_BLOCK "Error sending urpc_block msg",
413 // errors generated by the Monitor
414 errors monitor MON_ERR_ {
415 failure IDC_BIND_NOT_SAME_CORE "Cannot perform IDC bind call: IREF is on another core",
416 failure INVALID_CORE_ID "Core ID is invalid (out of range)",
417 failure INVALID_IREF "Invalid IREF for bind call",
418 failure IREF_ALLOC "Cannot allocate IREF, table full",
419 failure SPAN_STATE_ALLOC "Failed to allocate span state",
420 failure SEND_REMOTE_MSG "Sending message to remote core failed",
421 failure INVALID_MON_ID "Monitor ID in message is invalid",
422 failure NO_MONITOR_FOR_CORE "No monitor loaded on this core ID",
423 failure CAP_IDENTIFY "Error in cap_identify",
424 failure CAP_CREATE "Failure creating new capability",
425 failure CAP_REMOTE "Failure in remote cap operation",
426 failure RCAP_DB_NOT_FOUND "Cannot find cap in remote cap db",
427 failure RCAP_DB_LOCK "Error gaining lock in remote cap db",
428 failure RCAP_DB_UNLOCK "Error unlocking cap in remote cap db",
429 failure RCAP_DB_ADD "Error adding cap to remote cap db",
430 failure SAME_CORE "Cannot perform operation on same core as caller",
431 failure REMOTE_CAP_NEED_REVOKE "Cap has descendants on another core, cannot be retyped",
432 failure REMOTE_CAP_RETRY "Remote Cap operation failed but retry",
433 failure SPAWN_CORE "Failure spawning a new core",
434 failure SPAWN_DOMAIN "Failure in trying to spawn a domain",
435 failure INTERN_NEW_MONITOR "Error in intern_new_monitor()",
436 failure CAP_SEND "Permanent error sending cap for URPC channel",
437 failure CAP_SEND_TRANSIENT "Transient error sending cap for URPC channel",
438 failure ROUTE_SET "Sending route set msg failed",
439 failure SPAN_DOMAIN "span_domain failed",
440 failure MAP_URPC_CHAN "failure while mapping in URPC channel state",
441 failure RAM_ALLOC_ERR "failure in ram_alloc, err failed",
442 failure RAM_ALLOC_RETERR "failure in ram_alloc, reterr failed",
443 failure MULTICAST_PAGE_MAP "Could not map the multicast page in monitor",
444 failure WRONG_CAP_TYPE "Cap of not expected type",
445 failure INTERN_SET "Failure in intern_set",
446 failure ROUTE_RESET "Failure in sending route reset msg",
447 failure MAP_MULTIBOOT "Failure in trying to map multiboot image",
448 failure UNICAST_SET "Failure in unicast_set()",
449 failure MULTICAST_SET "Failure in multicast_set()",
450 failure BCAST_INIT "Failure in bcast_init()",
451 failure BCAST_CONNECT "Failure in bcast_connect()",
452 failure CCAST_INIT "Failure in ccast_init()",
453 failure CCAST_CONNECT "Failure in ccast_connect()",
454 failure UNICAST_CONNECT "Failure in connecting unicast path",
455 failure MULTICAST_CONNECT "Failure in connecting multicast path",
456 failure UNICAST_INIT "Failure in initing unicast path",
457 failure MULTICAST_INIT "Failure in initing multicast path",
458 failure SPAWN_XCORE_MONITOR "Failure in spawn_xcore_monitor()",
459 failure INCOMPLETE_ROUTE "(Portion of) routing table not present",
461 // Resource controller
462 failure RSRC_ALLOC "Out of resource domains",
463 failure RSRC_MEMBER_LIMIT "Reached member limit of resource domain",
464 failure RSRC_ILL_MANIFEST "Illegal manifest",
465 failure RSRC_NOT_FOUND "Resource domain not found on this core",
468 // errors related to the routing library
469 errors routing ROUTE_ERR_ {
470 // These are for the old routing library, remove them when old lib is removed
471 failure NEW_ROUTE "Failure in creating a new route",
472 failure EXPORT "Failure in exporting new route",
473 failure LOOKUP "Failure in looking up new route",
474 failure BIND "Failure in binding with route",
475 failure CORE_NOT_FOUND "Core not found in unicast send",
476 failure SET_EXPECTED "Failure in using the set expected function",
477 failure SEND "Failure in using the send function",
478 failure NO_SLOTS "Convergecast route ran out of slots to hold records",
480 // These are for the new routing library
481 failure WRONG_GROUP_ID "Group id not found",
482 failure CALL_INIT "Call route_init before using this",
483 failure CREATE_GROUP_RPC "Error in using the create_group rpc",
484 failure SET_GROUP_RPC "Error in using the set_group rpc",
485 failure GET_GROUP_RPC "Error in using the get_group rpc",
486 failure ALLOC_NID_RPC "Error in using the alloc_nid rpc",
489 // errors related to spawn code
490 errors spawn SPAWN_ERR_ {
491 failure LOAD "Failure while loading",
492 failure SPAN "Failure while spanning",
493 failure RUN "Failure while making dispatcher runnable",
494 failure VSPACE_MAP "Nested failure in spawn_vspace_map",
495 failure GET_CMDLINE_ARGS "Failure in get_cmdline_args",
496 failure SETUP_ENV "Failure in spawn_setup_env",
497 failure UNKNOWN_TARGET_ARCH "Unknown target architecture type",
498 failure UNSUPPORTED_TARGET_ARCH "Unsupported target architecture type",
500 failure SETUP_CSPACE "Failure in spawn_setup_cspace",
501 failure DETERMINE_CPUTYPE "Failure in spawn_determine_cputype",
502 failure VSPACE_INIT "Failure in spawn_vspace_init",
503 failure SETUP_DISPATCHER "Failure in spawn_setup_dispatcher",
504 failure ELF_MAP "Failure in spawn_elf_map",
506 failure SET_CAPS "Failure in set_special_caps",
507 failure MONITOR_CLIENT "Failure in monitor_client_setup",
508 failure FREE "Failure in spawn_free",
511 failure CREATE_ROOTCN "Failure creating root CNode",
512 failure CREATE_TASKCN "Failure creating task CNode",
513 failure MINT_TASKCN "Failure minting task CNode into root CNode",
514 failure CREATE_PAGECN "Failure creating page CNode",
515 failure CREATE_VNODE "Failure creating top-level VNode",
516 failure COPY_VNODE "Failure copying top-level VNode from existing domain",
517 failure CREATE_DISPATCHER "Failure creating DCB",
518 failure CREATE_DISPATCHER_FRAME "Failure creating dispatcher frame",
519 failure CREATE_SELFEP "Failure creating endpoint to self",
520 failure CREATE_ARGSPG "Failure creating page for arguments",
521 failure CREATE_FDSPG "Failure creating page for file descriptors",
522 failure COPY_FDCAP "Failure copying frame cap for file descriptors",
523 failure MINT_ROOTCN "Failure minting root CNode into task CNode",
524 failure CREATE_SLOTALLOC_CNODE "Failure creating slot_alloc cnode",
527 failure MAP_DISPATCHER_TO_NEW "Failure mapping dispatcher frame to new domain",
528 failure MAP_DISPATCHER_TO_SELF "Failure mapping dispatcher frame to parent",
529 failure MAP_ARGSPG_TO_NEW "Failure mapping arguments page to new domain",
530 failure MAP_ARGSPG_TO_SELF "Failure mapping arguments page to parent",
531 failure MAP_FDSPG_TO_NEW "Failure mapping file descriptors page to new domain",
532 failure MAP_FDSPG_TO_SELF "Failure mapping file descriptors page to parent",
534 failure FILL_SMALLCN "Failure filling smallcn of new domain",
535 failure MAP_BOOTINFO "Failure mapping bootinfo to new domain",
536 failure FIND_MODULE "Didn't find module to be spawned",
537 failure MAP_MODULE "Failed mapping in module",
538 failure CREATE_SEGCN "Failed to create segment CNode",
539 failure CREATE_SMALLCN "Failed to create small RAM caps CNode",
542 failure ARGSPG_OVERFLOW "Overflow in arguments page: too many arguments or environment variables",
543 failure SERIALISE_VSPACE "Error in serialising vspace data",
545 // setup inherited caps
546 failure SETUP_INHERITED_CAPS "Failure setup inherited caps",
548 // setup argument caps
549 failure SETUP_ARGCN "Failure setup CNode containing caps passed as arguments",
550 failure COPY_ARGCN "Error copying CNode containing caps passed as arguments",
552 // setup file descriptors
553 failure SETUP_FDCAP "Failure setting up frame for copying file descriptors",
554 failure FDSPG_OVERFLOW "Overflow in file descriptors page: too many file descriptors",
556 // setup session id cap
557 failure SETUP_SIDCAP "Failure setting up session capability",
558 failure COPY_SIDCAP "Failure copying session id capability",
561 failure DELETE_ROOTCN "Failure deleting root CNode cap in parent",
562 failure FREE_ROOTCN "Failure freeing slot for root CNode cap in parent",
563 failure DELETE_TASKCN "Failure deleting task CNode cap in parent",
564 failure FREE_TASKCN "Failure freeing slot for task CNode cap in parent",
566 failure COPY_PACN "Error copying phys addr CNode cap",
567 failure COPY_MODULECN "Error copying module CNode cap",
568 failure COPY_IRQ_CAP "Error copying IRQ cap",
569 failure COPY_IO_CAP "Error copying IO cap",
570 failure COPY_PERF_MON "Error copying performance monitoring cap",
573 failure DISPATCHER_SETUP "Dispatcher setup",
576 failure DOMAIN_ALLOCATE "No more domain descriptors",
577 failure DOMAIN_NOTFOUND "Domain not found",
578 failure DOMAIN_RUNNING "Domain is running",
581 // errors from ELF library
582 errors libelf ELF_ERR_ {
583 failure FILESZ "Invalid file size",
584 failure HEADER "Incompatible ELF header",
585 failure PROGHDR "Failed program header sanity checks",
586 failure ALLOCATE "Nested failure in allocator function",
587 failure NOT_PAGE_ALIGNED "Unaligned load address specified in ELF header",
590 // errors from memory management library
591 errors libmm MM_ERR_ {
592 failure FIND_NODE "Failure in find_node()",
593 failure CHUNK_NODE "Failure in chunk_node()",
594 failure SLOT_MM_ALLOC "Nested failure in slot allocator calling mm_alloc",
595 failure SLOT_NOSLOTS "Slot allocator has run out of slots",
596 failure SLOT_ALLOC_INIT "Failure initialising slot allocator",
597 failure MM_INIT "Failure in mm_init()",
598 failure MM_ADD "Failure in mm_add()",
599 failure MM_FREE "Failure in mm_free()",
600 failure NEW_NODE "Failed allocating new node from slot allocator",
601 failure OUT_OF_BOUNDS "Given memory base address / size exceeds bounds of allocator",
602 failure ALREADY_PRESENT "Node already present in add_node()",
603 failure ALREADY_ALLOCATED "Requested node already allocated in find_node()",
604 failure NOT_FOUND "No matching node found",
605 failure MISSING_CAPS "Region exists in allocator, but intermediate caps are missing",
606 failure CHUNK_SLOT_ALLOC "Failure allocating slots for chunking",
607 failure RESIZE_NODE "Nested failure in resize_node()",
608 failure REALLOC_RANGE "Nested failure in realloc_range()",
612 errors init INIT_ERR_ {
613 failure SPAWN_MEM_SERV "Failed to spawn mem_serv",
614 failure INIT_MEM_SERV "Failed to initialise mem_serv",
615 failure SPAWN_MONITOR "Failed to spawn monitor",
616 failure INIT_MONITOR "Failed to init monitor",
617 failure COPY_EP_TO_MEM_SERV "Failed copying EP to mem_serv",
618 failure COPY_EP_TO_MONITOR "Failed copying EP to monitor",
619 failure SETUP_MONITOR_CHAN "Failed setting up channel to monitor",
620 failure SETUP_MEM_SERV_CHAN "Failed setting up channel to mem_serv",
621 failure RUN_MONITOR "Failed to make monitor runnable",
622 failure RUN_MEM_SERV "Failed to make mem_serv runnable",
623 failure FREE_MONITOR "Failed to free spawn caps from monitor",
624 failure FREE_MEM_SERV "Failed to free spawn caps from mem_serv",
625 failure COPY_SUPERCN_CAP "Failed to copy superCN cap to mem_serv",
626 failure MAP_BOOTINFO "Failed to map bootinfo to child",
627 failure COPY_KERNEL_CAP "Failed to copy kernel cap to monitor",
628 failure COPY_PERF_MON "Failed to copy performance monitoring cap to monitor",
629 failure COPY_MODULECN_CAP "Failed to copy module CNode cap to monitor",
630 failure COPY_PACN_CAP "Failed to copy phys addr CNode cap to monitor",
631 failure COPY_IRQ_CAP "Failed to copy IRQ cap to monitor",
632 failure COPY_IO_CAP "Failed to copy IO cap to monitor",
633 failure COPY_UMP_CAP "Failed to copy UMP cap to monitor",
634 failure NO_MATCHING_RAM_CAP "No suitably-sized RAM cap found when initialising local memory allocator",
638 errors ethersrv ETHERSRV_ERR_ {
639 failure TOO_MANY_BUFFERS "ethersrv failed to allocate a new buffer descriptor in register_buffer",
640 failure TOO_MANY_VNICS "MAX_VNICS reached, can't create more VNICS",
641 failure BUFFER_NOT_FOUND "ethersrv did not find the buff given filter reg",
642 failure NOT_ENOUGH_MEM "not enough internal memory with driver",
643 failure CANT_TRANSMIT "Cant transmit the packet",
644 failure INVALID_STATE "VNIC is in invalid state for current operation",
645 failure FRAME_CAP_MAP "Cant map the frame cap in address space",
649 //errors in port management
650 errors filter PORT_ERR_ {
651 failure NOT_ENOUGH_MEMORY "Not enough memory for internals of port mng",
652 failure NO_MORE_PORT "No free port available",
653 failure IN_USE "Requested port is already in use",
654 failure REDIRECT "Requested port cannot be redirected",
655 failure NOT_FOUND "Could not find requested port to close",
659 //errors in Filter management
660 errors filter FILTER_ERR_ {
661 failure NOT_ENOUGH_MEMORY "Not enough memory to register filters",
662 failure BUFF_NOT_FOUND "Buffer given for filter reg. not found on driver",
663 failure FILTER_BUSY "Filter memory is busy in another operation.Try Again",
664 failure NO_NETD_MEM "Netd memory for filter is not registered",
665 failure FILTER_NOT_FOUND "requested filter for de/re-registration not found",
666 failure BUFFER_NOT_FOUND "requested filter for re-registration not found",
670 // errors generated in the terminal library
671 errors term TERM_ERR_ {
672 failure TERMINAL_IN_USE "Can not associate session with terminal, the terminal is already in use",
673 failure NOT_PART_OF_SESSION "Domain is not part of a session",
674 failure EXPORT_SESSION_INTERFACE "Failed to export terminal session interface",
675 failure REGISTER_SESSION_INTERFACE "Failed to register terminal session interface at nameservice",
676 failure EXPORT_OUT_INTERFACE "Failed to export terminal interface for outgoing characters",
677 failure EXPORT_IN_INTERFACE "Failed to export terminal interface for incoming characters",
678 failure EXPORT_CONF_INTERFACE "Failed to export terminal configuration interface for configuration messages",
679 failure ASSOCIATE_WITH_TERM_REPLY "Failed to send session_associate_with_terminal_reply",
680 failure RECV_CHARS "Received characters at outgoing characters interface",
681 failure SEND_CHARS "Could not send characters to client",
682 failure RECV_CONFIGURATION "Received a configuration message a the client",
683 failure FILTER_NOT_FOUND "Could not find filter specified for removal",
684 failure TRIGGER_NOT_FOUND "Could not find trigger specified for removal",
685 failure LOOKUP_SESSION_RECORD "Error looking up session record at octopus",
686 failure PARSE_SESSION_RECORD "Error parsing session record",
687 failure BIND_IN_INTERFACE "Failed to bind to terminal interface for incoming characters",
688 failure BIND_OUT_INTERFACE "Failed to bind to terminal interface for outgoing characters",
689 failure BIND_CONF_INTERFACE "Failed to bind to terminal configuration interface",
690 failure IO "Terminal I/O error",
691 failure TX_BUSY "Failed to send message, terminal client is busy",
692 failure UNKNOWN_CONFIG_OPT "Unknown configuration option",
693 failure CHANGE_WAITSET "Failed to change the waitset",
696 // errors generated by libangler
697 errors angler ANGLER_ERR_ {
698 failure LOOKUP_TERMINAL "Error looking up iref of terminal session interface at nameservice",
699 failure CREATE_SESSIONID "Error creating ID capability used to represent session",
700 failure BIND_TERMINAL "Error binding to terminal session interface",
701 failure INIT_RPCCLIENT "Error initializing rpc client for terminal session interface",
702 failure ASSOCIATE_WITH_TERMINAL "Error associating session with terminal",
703 failure STORE_SESSION_STATE "Error storing session state at ocotpus",
707 errors trace TRACE_ERR_ {
708 failure NO_BUFFER "Trace buffer does not exist",
709 failure MAP_BUF "Failed to map trace buffer",
710 failure CREATE_CAP "Failed to create trace buffer cap",
711 failure CAP_COPY "Failed to copy trace buffer cap",
712 failure KERNEL_INVOKE "Failed to set up tracing in kernel",
715 // errors in PCI/device handling
716 errors pci PCI_ERR_ {
717 failure IOAPIC_INIT "Failed in ioapic_init()",
718 failure MINT_IOCAP "Failed to mint IO cap",
719 failure ROUTING_IRQ "Failed while routing interrupt",
720 failure IRQTABLE_SET "Failed to set handler on local IRQ table",
721 failure UNKNOWN_GSI "Unknown global system interrupt number",
722 failure INVALID_VECTOR "Invalid interrupt vector",
723 failure DEVICE_INIT "Could not initialize device",
724 failure MEM_ALLOC "Could not allocate memory",
725 failure WRONG_INDEX "Invalid index for requested cap",
729 errors acpi ACPI_ERR_ {
730 failure NO_MCFG_TABLE "No MCFG Table found.",
731 failure INVALID_PATH_NAME "Invalid ACPI path name.",
732 failure GET_RESOURCES "Failed to execute _CRT method.",
733 failure SET_IRQ "Failed to set IRQ for device.",
734 failure NO_MADT_TABLE "No APIC found in ACPI.",
738 errors skb SKB_ERR_ {
739 failure CONVERSION_ERROR "Conversion (parsing) of the result failed.",
740 failure EXECUTION "The SKB returned an error Check error code.",
741 failure EVALUATE "Failure in skb_evalute()",
742 failure RUN "Failure in running rpc: run",
743 failure GOAL_FAILURE "Posted goal could not be satisfied.",
744 failure UNEXPECTED_OUTPUT "Query produced output but none was expected.",
745 success IO_OUTPUT "Read I/O Output from SKB.",
748 // errors in a file system implementation
750 failure INVALID_FH "The given file handle is invalid or has expired",
751 failure NOTDIR "The given file handle is not a directory",
752 failure NOTFILE "The given file handle is not a file",
753 failure INDEX_BOUNDS "The given directory index is out of bounds",
754 failure NOTFOUND "The given name does not exist",
755 failure EXISTS "The given name already exists",
756 failure NOTEMPTY "The given directory is not empty",
758 failure BULK_NOT_INIT "The bulk transfer mode has not been initialised",
759 failure BULK_ALREADY_INIT "The bulk_init() call may only be made once per connection",
762 // errors in the vfs library
763 errors vfs VFS_ERR_ {
764 success EOF "End of file",
765 failure BAD_MOUNTPOINT "The mountpoint is invalid",
766 failure MOUNTPOINT_IN_USE "The given mountpoint is already in use",
767 failure BAD_URI "The URI given to mount is invalid",
768 failure UNKNOWN_FILESYSTEM "The filesystem type in the URI is unknown",
769 failure MOUNTPOINT_NOTFOUND "The given mountpoint doesn't exist",
770 failure NOT_SUPPORTED "The file type does not support this operation",
772 failure IN_OPEN "Nested error in vfs_open()",
773 failure IN_STAT "Nested error in vfs_stat()",
774 failure IN_READ "Nested error in vfs_read()",
776 failure BCACHE_LIMIT "Number of buffer cache connections exceeded",
780 // FIXME: someone could copy in the real error strings...
781 errors nfs NFS_ERR_ {
782 /* transport error */
783 failure TRANSPORT "Unknown error in underlying NFS RPC transport.",
786 failure MNT_PERM "Not owner",
787 failure MNT_NOENT "No such file or directory",
788 failure MNT_IO "I/O error",
789 failure MNT_ACCES "Permission denied",
790 failure MNT_NOTDIR "Not a directory",
791 failure MNT_INVAL "Invalid argument",
792 failure MNT_NAMETOOLONG "Filename too long",
793 failure MNT_NOTSUPP "Operation not supported",
794 failure MNT_SERVERFAULT "A failure on the server",
797 failure PERM "NFS error (PERM). See RFC1813.",
798 failure NOENT "NFS error (NOENT). See RFC1813.",
799 failure IO "NFS error (IO). See RFC1813.",
800 failure NXIO "NFS error (NXIO). See RFC1813.",
801 failure ACCES "NFS error (ACCES). See RFC1813.",
802 failure EXIST "NFS error (EXIST). See RFC1813.",
803 failure XDEV "NFS error (XDEV). See RFC1813.",
804 failure NODEV "NFS error (NODEV). See RFC1813.",
805 failure NOTDIR "NFS error (NOTDIR). See RFC1813.",
806 failure ISDIR "NFS error (ISDIR). See RFC1813.",
807 failure INVAL "NFS error (INVAL). See RFC1813.",
808 failure FBIG "NFS error (FBIG). See RFC1813.",
809 failure NOSPC "NFS error (NOSPC). See RFC1813.",
810 failure ROFS "NFS error (ROFS). See RFC1813.",
811 failure MLINK "NFS error (MLINK). See RFC1813.",
812 failure NAMETOOLONG "NFS error (NAMETOOLONG). See RFC1813.",
813 failure NOTEMPTY "NFS error (NOTEMPTY). See RFC1813.",
814 failure DQUOT "NFS error (DQUOT). See RFC1813.",
815 failure STALE "NFS error (STALE). See RFC1813.",
816 failure REMOTE "NFS error (REMOTE). See RFC1813.",
817 failure BADHANDLE "NFS error (BADHANDLE). See RFC1813.",
818 failure NOT_SYNC "NFS error (NOT_SYNC). See RFC1813.",
819 failure BAD_COOKIE "NFS error (BAD_COOKIE). See RFC1813.",
820 failure NOTSUPP "NFS error (NOTSUPP). See RFC1813.",
821 failure TOOSMALL "NFS error (TOOSMALL). See RFC1813.",
822 failure SERVERFAULT "NFS error (SERVERFAULT). See RFC1813.",
823 failure BADTYPE "NFS error (BADTYPE). See RFC1813.",
824 failure JUKEBOX "NFS error (JUKEBOX). See RFC1813.",
828 errors lwip LWIP_ERR_ {
829 failure MEM "Out of memory error.",
830 failure BUF "Buffer error.",
831 failure TIMEOUT "Timeout.",
832 failure RTE "Routing problem.",
833 failure ABRT "Connection aborted.",
834 failure RST "Connection reset.",
835 failure CLSD "Connection closed.",
836 failure CONN "Not connected.",
837 failure VAL "Illegal value.",
838 failure ARG "Illegal argument.",
839 failure USE "Address in use.",
840 failure IF "Low-level netif error",
841 failure ISCONN "Already connected.",
842 failure INPROGRESS "Operation in progress",
845 // DIST library errors
846 errors dist DIST_ERR_ {
847 failure NS_REG "Name service register failed.",
848 failure NS_LOOKUP "Name service lookup failed.",
851 // octopus library errors
852 errors octopus OCT_ERR_ {
853 failure NO_RECORD "No record exists matching the specified query.",
854 failure NO_RECORD_NAME "Your query needs to specify a designated record name (no regex/variable allowed).",
855 failure CONSTRAINT_MISMATCH "The constraints you specified on set do not match the record in the database.",
856 failure QUERY_SIZE "Query is too big. Try to increase MAX_QUERY_LENGTH.",
857 failure INVALID_FORMAT "The read format you have specified is not valid.",
858 failure UNKNOWN_ATTRIBUTE "An attribute in your format was not found in the record.",
859 failure UNSUPPORTED_BINDING "This binding is unsupported by the underlying implementation.",
860 failure PARSER_FAIL "Record parser encountered syntax error.",
861 failure ENGINE_FAIL "Database error during query execution.",
862 failure NO_SUBSCRIPTION "No subscription found matching the query.",
863 failure NO_SUBSCRIBERS "No subscription found matching the query.",
864 failure MAX_SUBSCRIPTIONS "Failed to register subscription. Try to increase MAX_SUBSCRIPTIONS.",
865 failure INVALID_ID "Invalid Trigger ID.",
866 failure CAP_NAME_UNKNOWN "Capability storage: Unknown name.",
867 failure CAP_OVERWRITE "Capability storage: Cap already exists.",
868 failure IDCAP_INVOKE "Error invoking ID capability.",
871 // kaluga library errors
872 errors kaluga KALUGA_ERR_ {
873 failure PARSE_MODULES "Cannot parse menu.lst.",
874 failure MODULE_NOT_FOUND "Boot module not found.",
875 failure DRIVER_ALREADY_STARTED "Driver for this type of device is already running.",
876 failure DRIVER_NOT_AUTO "Driver not declared as auto in menu.lst.",
879 // errors generated by THC
881 failure CANCELED "Operation canceled",
884 // errors generated by memory server
886 failure SKB "Invalid data from SKB",
887 failure INIT_PEERS "Could not initialise peer data structures",
890 // errors generated by startd
891 errors startd STARTD_ERR_ {
892 failure BOOTMODULES "Invalid bootmodules file",
895 errors lox LOX_ERR_ {
896 failure INIT_LOCKS "Failure initialising locks",
897 failure NO_LOCKS "No more locks available",
900 // errors generated by VBE framebuffer driver
901 errors vbe VBE_ERR_ {
902 failure MODE_NOT_FOUND "Unknown/unsupported video mode requested",
903 failure BIOS_CALL_FAILED "Unknown error returned from VBE BIOS call",
906 // errors generated by ahcid and libahci
907 errors ahcid AHCI_ERR_ {
908 failure PORT_INVALID "Provided port id is not valid",
909 failure PORT_BUSY "Port has been opened elsewhere",
910 failure PORT_MISMATCH "Port is not opened by client",
911 failure NO_FREE_PRD "No free PRD left for user data",
912 failure ILLEGAL_ARGUMENT "Illegal argument in call",
915 errors sata SATA_ERR_ {
916 failure INVALID_TYPE "Unknown FIS type or invalid/unimplemented field for type",
919 // errors generated by FAT
920 errors fat FAT_ERR_ {
921 failure BAD_FS "Filesystem does not look like FAT, or is an unsupported kind of FAT",
924 // errors generated by VFS's fs cache library
925 errors cache FS_CACHE_ {
926 failure FULL "Cache is full",
927 failure NOTPRESENT "Requested key is not in cache",
928 failure CONFLICT "Cache already contains an item with the requested key",
931 // common/generic errors
933 failure NOTIMP "Not implemented",
projects / barrelfish / blob