Merge branch 'arrakis'
[barrelfish] / errors / errno.fugu
index 82c08fc..e792e7a 100755 (executable)
@@ -122,6 +122,8 @@ 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_VALID      "VMX instruction failed (VM-instruction error field = ErrorNumber)",
 
     // Serial port errors
     failure SERIAL_PORT_INVALID         "Invalid serial port",
@@ -795,6 +797,15 @@ errors acpi ACPI_ERR_ {
     failure NO_MADT_TABLE       "No APIC found in ACPI.",
 };
 
+errors vtd VTD_ERR_ {
+    failure INVALID_CAP     "Cap is not for a x86-64 PML4 VNode",
+    failure DOM_NOT_FOUND   "Domain for cap was not found",
+    failure DEV_NOT_FOUND   "Device does not belong to the domain",
+    failure DEV_USED        "The device is currently used by another domain",
+    failure FULL            "No more domains can be created",
+    failure NO_UNITS       "Hardware doesn't contain any VT-d hardware units",
+};
+
 // errors in the SKB
 errors skb SKB_ERR_ {
     failure CONVERSION_ERROR    "Conversion (parsing) of the result failed.",
@@ -941,7 +952,6 @@ errors kaluga  KALUGA_ERR_ {
 
 };
 
-
 // errors generated by THC
 errors thc THC_ {
     failure CANCELED            "Operation canceled",