Merge branch 'devel'

[palacios.git] / kitten / include / lwk / errno.h

diff --git a/kitten/include/lwk/errno.h b/kitten/include/lwk/errno.h
new file mode 100644 (file)
index 0000000..3c57b67
--- /dev/null
+++ b/kitten/include/lwk/errno.h
@@ -0,0 +1,29 @@
+#ifndef _LWK_ERRNO_H
+#define _LWK_ERRNO_H
+
+#include <arch/errno.h>
+
+#ifdef __KERNEL__
+
+/* Should never be seen by user programs */
+#define ERESTARTSYS    512
+#define ERESTARTNOINTR 513
+#define ERESTARTNOHAND 514     /* restart if no handler.. */
+#define ENOIOCTLCMD    515     /* No ioctl command */
+#define ERESTART_RESTARTBLOCK 516 /* restart by calling sys_restart_syscall */
+
+/* Defined for the NFSv3 protocol */
+#define EBADHANDLE     521     /* Illegal NFS file handle */
+#define ENOTSYNC       522     /* Update synchronization mismatch */
+#define EBADCOOKIE     523     /* Cookie is stale */
+#define ENOTSUPP       524     /* Operation is not supported */
+#define ETOOSMALL      525     /* Buffer or request is too small */
+#define ESERVERFAULT   526     /* An untranslatable error occurred */
+#define EBADTYPE       527     /* Type not supported by server */
+#define EJUKEBOX       528     /* Request initiated, but will not complete before timeout */
+#define EIOCBQUEUED    529     /* iocb queued, will get completion event */
+#define EIOCBRETRY     530     /* iocb queued, will trigger a retry */
+
+#endif
+
+#endif