[LibOS] Import Linux error codes

This is a part of making our LibOS independent from the host headers
(we want this b/c the host may not even be Linux).

Signed-off-by: Michał Kowalczyk <mkow@invisiblethingslab.com>

libos/include/arch/x86_64/linux_abi/errors_arch.h

@@ -0,0 +1,149 @@
+/* SPDX-License-Identifier: LGPL-3.0-or-later */
+/* Copyright (C) 2023 Intel Corporation
+ *                    Michał Kowalczyk <mkow@invisiblethingslab.com>
+ */
+
+#pragma once
+
+/* Types and structures used by various Linux ABIs (e.g. syscalls). */
+/* These need to be binary-identical with the ones used by Linux. */
+
+/* Based on Linux 5.11 */
+
+#define EPERM             1  /* Operation not permitted */
+#define ENOENT            2  /* No such file or directory */
+#define ESRCH             3  /* No such process */
+#define EINTR             4  /* Interrupted system call */
+#define EIO               5  /* I/O error */
+#define ENXIO             6  /* No such device or address */
+#define E2BIG             7  /* Argument list too long */
+#define ENOEXEC           8  /* Exec format error */
+#define EBADF             9  /* Bad file number */
+#define ECHILD           10  /* No child processes */
+#define EAGAIN           11  /* Try again */
+#define ENOMEM           12  /* Out of memory */
+#define EACCES           13  /* Permission denied */
+#define EFAULT           14  /* Bad address */
+#define ENOTBLK          15  /* Block device required */
+#define EBUSY            16  /* Device or resource busy */
+#define EEXIST           17  /* File exists */
+#define EXDEV            18  /* Cross-device link */
+#define ENODEV           19  /* No such device */
+#define ENOTDIR          20  /* Not a directory */
+#define EISDIR           21  /* Is a directory */
+#define EINVAL           22  /* Invalid argument */
+#define ENFILE           23  /* File table overflow */
+#define EMFILE           24  /* Too many open files */
+#define ENOTTY           25  /* Not a typewriter */
+#define ETXTBSY          26  /* Text file busy */
+#define EFBIG            27  /* File too large */
+#define ENOSPC           28  /* No space left on device */
+#define ESPIPE           29  /* Illegal seek */
+#define EROFS            30  /* Read-only file system */
+#define EMLINK           31  /* Too many links */
+#define EPIPE            32  /* Broken pipe */
+#define EDOM             33  /* Math argument out of domain of func */
+#define ERANGE           34  /* Math result not representable */
+#define EDEADLK          35  /* Resource deadlock would occur */
+#define ENAMETOOLONG     36  /* File name too long */
+#define ENOLCK           37  /* No record locks available */
+#define ENOSYS           38  /* Invalid system call number */
+#define ENOTEMPTY        39  /* Directory not empty */
+#define ELOOP            40  /* Too many symbolic links encountered */
+#define EWOULDBLOCK      EAGAIN  /* Operation would block */
+#define ENOMSG           42  /* No message of desired type */
+#define EIDRM            43  /* Identifier removed */
+#define ECHRNG           44  /* Channel number out of range */
+#define EL2NSYNC         45  /* Level 2 not synchronized */
+#define EL3HLT           46  /* Level 3 halted */
+#define EL3RST           47  /* Level 3 reset */
+#define ELNRNG           48  /* Link number out of range */
+#define EUNATCH          49  /* Protocol driver not attached */
+#define ENOCSI           50  /* No CSI structure available */
+#define EL2HLT           51  /* Level 2 halted */
+#define EBADE            52  /* Invalid exchange */
+#define EBADR            53  /* Invalid request descriptor */
+#define EXFULL           54  /* Exchange full */
+#define ENOANO           55  /* No anode */
+#define EBADRQC          56  /* Invalid request code */
+#define EBADSLT          57  /* Invalid slot */
+#define EDEADLOCK        EDEADLK
+#define EBFONT           59  /* Bad font file format */
+#define ENOSTR           60  /* Device not a stream */
+#define ENODATA          61  /* No data available */
+#define ETIME            62  /* Timer expired */
+#define ENOSR            63  /* Out of streams resources */
+#define ENONET           64  /* Machine is not on the network */
+#define ENOPKG           65  /* Package not installed */
+#define EREMOTE          66  /* Object is remote */
+#define ENOLINK          67  /* Link has been severed */
+#define EADV             68  /* Advertise error */
+#define ESRMNT           69  /* Srmount error */
+#define ECOMM            70  /* Communication error on send */
+#define EPROTO           71  /* Protocol error */
+#define EMULTIHOP        72  /* Multihop attempted */
+#define EDOTDOT          73  /* RFS specific error */
+#define EBADMSG          74  /* Not a data message */
+#define EOVERFLOW        75  /* Value too large for defined data type */
+#define ENOTUNIQ         76  /* Name not unique on network */
+#define EBADFD           77  /* File descriptor in bad state */
+#define EREMCHG          78  /* Remote address changed */
+#define ELIBACC          79  /* Can not access a needed shared library */
+#define ELIBBAD          80  /* Accessing a corrupted shared library */
+#define ELIBSCN          81  /* .lib section in a.out corrupted */
+#define ELIBMAX          82  /* Attempting to link in too many shared libraries */
+#define ELIBEXEC         83  /* Cannot exec a shared library directly */
+#define EILSEQ           84  /* Illegal byte sequence */
+#define ERESTART         85  /* Interrupted system call should be restarted */
+#define ESTRPIPE         86  /* Streams pipe error */
+#define EUSERS           87  /* Too many users */
+#define ENOTSOCK         88  /* Socket operation on non-socket */
+#define EDESTADDRREQ     89  /* Destination address required */
+#define EMSGSIZE         90  /* Message too long */
+#define EPROTOTYPE       91  /* Protocol wrong type for socket */
+#define ENOPROTOOPT      92  /* Protocol not available */
+#define EPROTONOSUPPORT  93  /* Protocol not supported */
+#define ESOCKTNOSUPPORT  94  /* Socket type not supported */
+#define EOPNOTSUPP       95  /* Operation not supported on transport endpoint */
+#define EPFNOSUPPORT     96  /* Protocol family not supported */
+#define EAFNOSUPPORT     97  /* Address family not supported by protocol */
+#define EADDRINUSE       98  /* Address already in use */
+#define EADDRNOTAVAIL    99  /* Cannot assign requested address */
+#define ENETDOWN        100 /* Network is down */
+#define ENETUNREACH     101 /* Network is unreachable */
+#define ENETRESET       102 /* Network dropped connection because of reset */
+#define ECONNABORTED    103 /* Software caused connection abort */
+#define ECONNRESET      104 /* Connection reset by peer */
+#define ENOBUFS         105 /* No buffer space available */
+#define EISCONN         106 /* Transport endpoint is already connected */
+#define ENOTCONN        107 /* Transport endpoint is not connected */
+#define ESHUTDOWN       108 /* Cannot send after transport endpoint shutdown */
+#define ETOOMANYREFS    109 /* Too many references: cannot splice */
+#define ETIMEDOUT       110 /* Connection timed out */
+#define ECONNREFUSED    111 /* Connection refused */
+#define EHOSTDOWN       112 /* Host is down */
+#define EHOSTUNREACH    113 /* No route to host */
+#define EALREADY        114 /* Operation already in progress */
+#define EINPROGRESS     115 /* Operation now in progress */
+#define ESTALE          116 /* Stale file handle */
+#define EUCLEAN         117 /* Structure needs cleaning */
+#define ENOTNAM         118 /* Not a XENIX named type file */
+#define ENAVAIL         119 /* No XENIX semaphores available */
+#define EISNAM          120 /* Is a named type file */
+#define EREMOTEIO       121 /* Remote I/O error */
+#define EDQUOT          122 /* Quota exceeded */
+#define ENOMEDIUM       123 /* No medium found */
+#define EMEDIUMTYPE     124 /* Wrong medium type */
+#define ECANCELED       125 /* Operation Canceled */
+#define ENOKEY          126 /* Required key not available */
+#define EKEYEXPIRED     127 /* Key has expired */
+#define EKEYREVOKED     128 /* Key has been revoked */
+#define EKEYREJECTED    129 /* Key was rejected by service */
+
+/* for robust mutexes */
+#define EOWNERDEAD      130 /* Owner died */
+#define ENOTRECOVERABLE 131 /* State not recoverable */
+
+#define ERFKILL         132 /* Operation not possible due to RF-kill */
+
+#define EHWPOISON       133 /* Memory page has hardware error */

libos/include/libos_checkpoint.h

@@ -13,6 +13,7 @@
 #include "libos_ipc.h"
 #include "libos_process.h"
 #include "libos_thread.h"
+#include "linux_abi/errors.h"
 #include "pal.h"
 
 #define __attribute_migratable __attribute__((section(".migratable")))

libos/include/libos_thread.h

@@ -15,6 +15,7 @@
 #include "libos_signal.h"
 #include "libos_tcb.h"
 #include "libos_types.h"
+#include "linux_abi/errors.h"
 #include "linux_abi/signals.h"
 #include "list.h"
 #include "pal.h"

libos/include/linux_abi/errors.h

@@ -8,7 +8,7 @@
 /* Types and structures used by various Linux ABIs (e.g. syscalls). */
 /* These need to be binary-identical with the ones used by Linux. */
 
-#include <asm/errno.h>
+#include "linux_abi/errors_arch.h"
 
 #define ERESTARTSYS     512 /* Usual case - restart if SA_RESTART is set. */
 #define ERESTARTNOINTR  513 /* Always restart. */

libos/include/linux_abi/types.h

@@ -9,7 +9,6 @@
 /* These need to be binary-identical with the ones used by Linux. */
 
 // TODO: remove all of these includes and make this header libc-independent.
-#include <asm/errno.h>
 #include <asm/poll.h>
 #include <asm/posix_types.h>
 #include <asm/siginfo.h>

libos/src/arch/x86_64/libos_arch_prctl.c

@@ -8,6 +8,7 @@
 #include "libos_internal.h"
 #include "libos_table.h"
 #include "libos_tcb.h"
+#include "linux_abi/errors.h"
 #include "linux_abi/process.h"
 #include "pal.h"
 

libos/src/bookkeep/libos_pid.c

@@ -11,6 +11,7 @@
 #include "libos_lock.h"
 #include "libos_types.h"
 #include "libos_utils.h"
+#include "linux_abi/errors.h"
 #include "log.h"
 
 /* Represents a range of ids `[start; end]` (i.e. `end` is included). There is no representation of

libos/src/bookkeep/libos_thread.c

@@ -23,6 +23,7 @@
 #include "libos_signal.h"
 #include "libos_thread.h"
 #include "libos_vma.h"
+#include "linux_abi/errors.h"
 #include "list.h"
 #include "pal.h"
 #include "toml_utils.h"

libos/src/fs/eventfd/fs.c

@@ -5,12 +5,11 @@
  * This file contains code for implementation of 'eventfd' filesystem.
  */
 
-#include <errno.h>
-
 #include "libos_fs.h"
 #include "libos_handle.h"
 #include "libos_internal.h"
 #include "libos_lock.h"
+#include "linux_abi/errors.h"
 #include "pal.h"
 
 static ssize_t eventfd_read(struct libos_handle* hdl, void* buf, size_t count, file_off_t* pos) {

libos/src/fs/tmpfs/fs.c

@@ -14,12 +14,11 @@
  * the `data` field of the inode (as a pointer to `struct libos_mem_file`).
  */
 
-#include <errno.h>
-
 #include "libos_fs.h"
 #include "libos_handle.h"
 #include "libos_lock.h"
 #include "libos_vma.h"
+#include "linux_abi/errors.h"
 #include "perm.h"
 #include "stat.h"
 

libos/src/libos_rtld.c

@@ -18,7 +18,6 @@
  */
 
 #include <endian.h>
-#include <errno.h>
 
 #include "asan.h"
 #include "elf.h"
@@ -33,6 +32,7 @@
 #include "libos_vdso.h"
 #include "libos_vdso_arch.h"
 #include "libos_vma.h"
+#include "linux_abi/errors.h"
 #include "linux_abi/memory.h"
 
 #define INTERP_PATH_SIZE 256 /* Default shebang size */

libos/src/sys/libos_dup.c

@@ -5,12 +5,11 @@
  * Implementation of system calls "dup", "dup2" and "dup3".
  */
 
-#include <errno.h>
-
 #include "libos_handle.h"
 #include "libos_internal.h"
 #include "libos_table.h"
 #include "libos_thread.h"
+#include "linux_abi/errors.h"
 
 long libos_syscall_dup(unsigned int fd) {
     struct libos_handle_map* handle_map = get_thread_handle_map(NULL);

libos/src/sys/libos_exec.c

@@ -5,14 +5,13 @@
  * Implementation of system call "execve".
  */
 
-#include <errno.h>
-
 #include "libos_internal.h"
 #include "libos_lock.h"
 #include "libos_process.h"
 #include "libos_table.h"
 #include "libos_thread.h"
 #include "libos_vma.h"
+#include "linux_abi/errors.h"
 #include "pal.h"
 
 /* new_argp: pointer to beginning of first stack frame (argc, argv[0], ...)

libos/src/sys/libos_getcwd.c

@@ -5,15 +5,14 @@
  * Implementation of system calls "getcwd", "chdir" and "fchdir".
  */
 
-#include <errno.h>
-
 #include "libos_fs.h"
 #include "libos_handle.h"
 #include "libos_internal.h"
 #include "libos_lock.h"
 #include "libos_process.h"
 #include "libos_table.h"
 #include "libos_thread.h"
+#include "linux_abi/errors.h"
 #include "stat.h"
 
 #ifndef ERANGE

libos/src/sys/libos_mlock.c

@@ -13,6 +13,7 @@
 
 #include "api.h"
 #include "libos_table.h"
+#include "linux_abi/errors.h"
 #include "linux_abi/memory.h"
 
 long libos_syscall_mlock(unsigned long start, size_t len) {

libos/src/sys/libos_time.c

@@ -5,10 +5,9 @@
  * Implementation of system calls "gettimeofday", "time" and "clock_gettime".
  */
 
-#include <errno.h>
-
 #include "libos_internal.h"
 #include "libos_table.h"
+#include "linux_abi/errors.h"
 #include "pal.h"
 
 long libos_syscall_gettimeofday(struct __kernel_timeval* tv, struct __kernel_timezone* tz) {

libos/src/sys/libos_uname.c

@@ -8,11 +8,10 @@
  * Implementation of system calls `uname`, `sethostname` and `setdomainname`.
  */
 
-#include <errno.h>
-
 #include "api.h"
 #include "libos_internal.h"
 #include "libos_table.h"
+#include "linux_abi/errors.h"
 
 /* This structure is *not* shared between Gramine processes, despite it should. As a result,
  * effects of set{host,domain}name in process A will not be visible in process B.