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