Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / errors / errno.fugu
index f731e04..ae3d347 100755 (executable)
@@ -132,7 +132,7 @@ errors kernel SYS_ERR_ {
     failure VMKIT_CTRL_INVALID          "Invalid frame capability passed for control structure",
     failure VMKIT_ENDPOINT              "Error setting monitor endpoint for dispatcher",
     failure VMKIT_ENDPOINT_INVALID      "Invalid monitor endpoint capability passed",
-    failure VMKIT_VMX_VMFAIL_INVALID   "The VMCS pointer is invalid", 
+    failure VMKIT_VMX_VMFAIL_INVALID   "The VMCS pointer is invalid",
     failure VMKIT_VMX_VMFAIL_VALID      "VMX instruction failed (VM-instruction error field = ErrorNumber)",
 
     // Serial port errors
@@ -1001,8 +1001,9 @@ errors vbe VBE_ERR_ {
     failure BIOS_CALL_FAILED    "Unknown error returned from VBE BIOS call",
 };
 
-// errors generated by ahcid and libahci
+// errors generated by lib/blk/ahci
 errors ahcid AHCI_ERR_ {
+    failure PORT_INIT           "Port initialization failed",
     failure PORT_INVALID        "Provided port id is not valid",
     failure PORT_BUSY           "Port has been opened elsewhere",
     failure PORT_MISMATCH       "Port is not opened by client",
@@ -1010,6 +1011,17 @@ errors ahcid AHCI_ERR_ {
     failure ILLEGAL_ARGUMENT    "Illegal argument in call",
 };
 
+// errors generated by devif
+errors ahcid DEV_ERR_ {
+    failure NOT_INITIALIZED     "Queue exists but could not be initialized.",
+    failure NOT_FOUND           "Invalid queue requested, not found?",
+    failure ALREADY_CREATED     "The queue specified has already been created.",
+    failure REGISTER_BUFFER     "Unable to register the buffer with the driver.",
+    failure INVALID_BUFFER_ARGS "Invalid arguments for specified buffer.",
+    failure QUEUE_EMPTY         "Nothing to dequeue.",
+    failure QUEUE_FULL          "The queue is full.",
+};
+
 errors sata SATA_ERR_ {
     failure INVALID_TYPE        "Unknown FIS type or invalid/unimplemented field for type",
 };
@@ -1081,8 +1093,8 @@ errors bulk_transfer BULK_TRANSFER_ {
     failure SM_EXCLUSIVE_WS     "BULK_SM: Exclusive waitset required per channel.",
     failure NET_MAX_QUEUES      "The number of maximum queues is reached",
     failure NET_POOL_USED       "The pool is already used over a no-copy channel.",
-    
-    
+
+
 };
 
 errors virtio VIRTIO_ERR_ {
@@ -1102,14 +1114,14 @@ errors virtio VIRTIO_ERR_ {
     failure QUEUE_INVALID        "The selected queue does not exist",
     failure QUEUE_BUSY           "The queue is busy.",
     failure BUFFER_SIZE          "The buffer size is invalid.",
-    failure BUFFER_STATE         "The state of the buffer / buffer list is invalid",               
+    failure BUFFER_STATE         "The state of the buffer / buffer list is invalid",
     failure ARG_INVALID          "The given argument is invalid.",
     failure NO_BUFFER            "No buffer given, number of buffers is 0",
     failure ALLOC_FULL           "The allocator is already full",
     failure BUFFER_USED          "The buffer is already enqueued and used",
     failure NO_DESC_AVAIL        "There is no descriptor availabe",
     failure DEQ_CHAIN            "Not the entire chain could be dequeued",
-    failure INVALID_RING_INDEX   "The supplied index is not valid", 
+    failure INVALID_RING_INDEX   "The supplied index is not valid",
     failure BLK_REQ_IOERR        "The request ended in an IO error",
     failure BLK_REQ_UNSUP        "The request type was not supported",
 };