summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnton Kling <anton@kling.gg>2023-10-30 21:44:25 +0100
committerAnton Kling <anton@kling.gg>2023-10-30 21:49:48 +0100
commit5a339a9b7b5cdcee3629b14f1b6a58ac4ab60fce (patch)
tree4928f7d63cab8dfa04a79506fdce22547ccef41f
parentfdb75cf832af77c0d93e0adb514c30964c6b680f (diff)
LibC: Remove header files that are not in the "include" directory
-rw-r--r--userland/libc/assert.h10
-rw-r--r--userland/libc/ctype.h12
-rw-r--r--userland/libc/dirent.h28
-rw-r--r--userland/libc/endian.h2
-rw-r--r--userland/libc/errno.h87
-rw-r--r--userland/libc/fcntl.h10
-rw-r--r--userland/libc/input.h9
-rw-r--r--userland/libc/inttypes.h5
-rw-r--r--userland/libc/limits.h2
-rw-r--r--userland/libc/math.h0
-rw-r--r--userland/libc/poll.h16
-rw-r--r--userland/libc/pty.h6
-rw-r--r--userland/libc/socket.h41
-rw-r--r--userland/libc/stdio.h95
-rw-r--r--userland/libc/stdlib.h17
-rw-r--r--userland/libc/string.h17
-rw-r--r--userland/libc/strings.h0
-rw-r--r--userland/libc/syscall.h149
-rw-r--r--userland/libc/time.h20
-rw-r--r--userland/libc/ubsan.h79
-rw-r--r--userland/libc/unistd.h14
-rw-r--r--userland/libc/wchar.h0
-rw-r--r--userland/libc/wctype.h0
23 files changed, 0 insertions, 619 deletions
diff --git a/userland/libc/assert.h b/userland/libc/assert.h
deleted file mode 100644
index a009e5f..0000000
--- a/userland/libc/assert.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef ASSERT_H
-#define ASSERT_H
-
-#define assert(expr) \
- { \
- if (!(expr)) \
- aFailed(__FILE__, __LINE__); \
- }
-void aFailed(char *f, int l);
-#endif
diff --git a/userland/libc/ctype.h b/userland/libc/ctype.h
deleted file mode 100644
index 5be4a89..0000000
--- a/userland/libc/ctype.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef CTYPE_H
-#define CTYPE_H
-
-int isspace(int c);
-int isascii(int c);
-int toupper(int c);
-int tolower(int c);
-int isdigit(int c);
-int isalpha(int c);
-int isxdigit(int c);
-int ispunct(int c);
-#endif
diff --git a/userland/libc/dirent.h b/userland/libc/dirent.h
deleted file mode 100644
index f190a7c..0000000
--- a/userland/libc/dirent.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef DIRENT_H
-#define DIRENT_H
-#include <fcntl.h>
-#include <limits.h>
-#include <stddef.h>
-#include <stdlib.h>
-#include <sys/types.h>
-#include <unistd.h>
-
-struct dirent {
- ino_t d_ino; // File serial number.
- char d_name[PATH_MAX]; // Filename string of entry.
-};
-
-typedef struct {
- int fd;
- struct dirent internal_direntry;
- int dir_num;
-} DIR;
-
-DIR *opendir(const char *dirname);
-struct dirent *readdir(DIR *dir);
-int closedir(DIR *dirp);
-int alphasort(const struct dirent **d1, const struct dirent **d2);
-int scandir(const char *dir, struct dirent ***namelist,
- int (*sel)(const struct dirent *),
- int (*compar)(const struct dirent **, const struct dirent **));
-#endif
diff --git a/userland/libc/endian.h b/userland/libc/endian.h
deleted file mode 100644
index f265a67..0000000
--- a/userland/libc/endian.h
+++ /dev/null
@@ -1,2 +0,0 @@
-#define LITTLE_ENDIAN 0
-#define BYTE_ORDER LITTLE_ENDIAN
diff --git a/userland/libc/errno.h b/userland/libc/errno.h
deleted file mode 100644
index ec9a25e..0000000
--- a/userland/libc/errno.h
+++ /dev/null
@@ -1,87 +0,0 @@
-#ifndef ERRNO_H
-#define ERRNO_H
-// https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/errno.h.html
-#define E2BIG 1 // Argument list too long.
-#define EACCES 2 // Permission denied.
-#define EADDRINUSE 3 // Address in use.
-#define EADDRNOTAVAIL 4 // Address not available.
-#define EAFNOSUPPORT 5 // Address family not supported.
-#define EAGAIN 6 // Resource unavailable, try again.
-#define EALREADY 7 // Connection already in progress.
-#define EBADF 8 // Bad file descriptor.
-#define EBADMSG 9 // Bad message.
-#define EBUSY 10 // Device or resource busy.
-#define ECANCELED 11 // Operation canceled.
-#define ECHILD 12 // No child processes.
-#define ECONNABORTED 13 // Connection aborted.
-#define ECONNREFUSED 14 // Connection refused.
-#define ECONNRESET 15 // Connection reset.
-#define EDEADLK 16 // Resource deadlock would occur.
-#define EDESTADDRREQ 17 // Destination address required.
-#define EDOM 18 // Mathematics argument out of domain of function.
-#define EDQUOT 19 // Reserved.
-#define EEXIST 20 // File exists.
-#define EFAULT 21 // Bad address.
-#define EFBIG 22 // File too large.
-#define EHOSTUNREACH 23 // Host is unreachable.
-#define EIDRM 24 // Identifier removed.
-#define EILSEQ 25 // Illegal byte sequence.
-#define EINPROGRESS 26 // Operation in progress.
-#define EINTR 27 // Interrupted function.
-#define EINVAL 28 // Invalid argument.
-#define EIO 29 // I/O error.
-#define EISCONN 30 // Socket is connected.
-#define EISDIR 31 // Is a directory.
-#define ELOOP 32 // Too many levels of symbolic links.
-#define EMFILE 33 // File descriptor value too large.
-#define EMLINK 34 // Too many links.
-#define EMSGSIZE 35 // Message too large.
-#define EMULTIHOP 36 // Reserved.
-#define ENAMETOOLONG 37 // Filename too long.
-#define ENETDOWN 38 // Network is down.
-#define ENETRESET 39 // Connection aborted by network.
-#define ENETUNREACH 40 // Network unreachable.
-#define ENFILE 41 // Too many files open in system.
-#define ENOBUFS 42 // No buffer space available.
-#define ENODATA 43 // No message is available on the STREAM head read queue.
-#define ENODEV 44 // No such device.
-#define ENOENT 45 // No such file or directory.
-#define ENOEXEC 46 // Executable file format error.
-#define ENOLCK 47 // No locks available.
-#define ENOLINK 48 // Reserved.
-#define ENOMEM 49 // Not enough space.
-#define ENOMSG 50 // No message of the desired type.
-#define ENOPROTOOPT 51 // Protocol not available.
-#define ENOSPC 52 // No space left on device.
-#define ENOSR 53 // No STREAM resources.
-#define ENOSTR 54 // Not a STREAM.
-#define ENOSYS 55 // Functionality not supported.
-#define ENOTCONN 56 // The socket is not connected.
-#define ENOTDIR 57 // Not a directory or a symbolic link to a directory.
-#define ENOTEMPTY 58 // Directory not empty.
-#define ENOTRECOVERABLE 59 // State not recoverable.
-#define ENOTSOCK 60 // Not a socket.
-#define ENOTSUP 61 // Not supported (may be the same value as.
-#define ENOTTY 62 // Inappropriate I/O control operation.
-#define ENXIO 63 // No such device or address.
-#define EOPNOTSUPP ENOTSUP // Operation not supported on socket.
-#define EOVERFLOW 65 // Value too large to be stored in data type.
-#define EOWNERDEAD 66 // Previous owner died.
-#define EPERM 67 // Operation not permitted.
-#define EPIPE 68 // Broken pipe.
-#define EPROTO 69 // Protocol error.
-#define EPROTONOSUPPORT 70 // Protocol not supported.
-#define EPROTOTYPE 71 // Protocol wrong type for socket.
-#define ERANGE 72 // Result too large.
-#define EROFS 73 // Read-only file system.
-#define ESPIPE 74 // Invalid seek.
-#define ESRCH 75 // No such process.
-#define ESTALE 76 // Reserved.
-#define ETIME 77 // Stream ioctl() timeout.
-#define ETIMEDOUT 78 // Connection timed out.
-#define ETXTBSY 79 // Text file busy.
-#define EWOULDBLOCK EAGAIN // Operation would block.
-#define EXDEV 81 // Cross-device link.
-
-extern int errno;
-#endif
diff --git a/userland/libc/fcntl.h b/userland/libc/fcntl.h
deleted file mode 100644
index 4c1eb9c..0000000
--- a/userland/libc/fcntl.h
+++ /dev/null
@@ -1,10 +0,0 @@
-// FIXME: Is there some standard value for this?
-#define O_NONBLOCK (1 << 0)
-#define O_READ (1 << 1)
-#define O_WRITE (1 << 2)
-#define O_CREAT (1 << 3)
-#define O_RDONLY O_READ
-#define O_WRONLY O_WRITE
-#define O_RDWR (O_WRITE | O_READ)
-
-int open(const char *file, int flags, int mode);
diff --git a/userland/libc/input.h b/userland/libc/input.h
deleted file mode 100644
index a6602f5..0000000
--- a/userland/libc/input.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#ifndef INPUT_H
-#define INPUT_H
-#include <stdint.h>
-
-struct input_event {
- uint16_t key;
- uint8_t status;
-};
-#endif
diff --git a/userland/libc/inttypes.h b/userland/libc/inttypes.h
deleted file mode 100644
index 0bf39d1..0000000
--- a/userland/libc/inttypes.h
+++ /dev/null
@@ -1,5 +0,0 @@
-#include <stdint.h>
-
-// FIXME: These are not correct
-#define PRId64 "d"
-#define PRId32 "d"
diff --git a/userland/libc/limits.h b/userland/libc/limits.h
deleted file mode 100644
index 0c9389a..0000000
--- a/userland/libc/limits.h
+++ /dev/null
@@ -1,2 +0,0 @@
-#define PATH_MAX 256
-#define FILENAME_MAX PATH_MAX
diff --git a/userland/libc/math.h b/userland/libc/math.h
deleted file mode 100644
index e69de29..0000000
--- a/userland/libc/math.h
+++ /dev/null
diff --git a/userland/libc/poll.h b/userland/libc/poll.h
deleted file mode 100644
index 88e98b3..0000000
--- a/userland/libc/poll.h
+++ /dev/null
@@ -1,16 +0,0 @@
-#ifndef POLL_H
-#define POLL_H
-#include <stddef.h>
-
-#define POLLIN (1 << 0)
-#define POLLPRI (1 << 1)
-#define POLLOUT (1 << 2)
-
-struct pollfd {
- int fd;
- short events;
- short revents;
-};
-
-int poll(struct pollfd *fds, size_t nfds, int timeout);
-#endif
diff --git a/userland/libc/pty.h b/userland/libc/pty.h
deleted file mode 100644
index b8ce978..0000000
--- a/userland/libc/pty.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#ifndef PTY_H
-#define PTY_H
-int openpty(int *amaster, int *aslave, char *name,
- /*const struct termios*/ void *termp,
- /*const struct winsize*/ void *winp);
-#endif
diff --git a/userland/libc/socket.h b/userland/libc/socket.h
deleted file mode 100644
index 5e86b45..0000000
--- a/userland/libc/socket.h
+++ /dev/null
@@ -1,41 +0,0 @@
-#include <stddef.h>
-#include <stdint.h>
-
-#define AF_UNIX 0
-#define AF_LOCAL AF_UNIX
-
-#define INADDR_ANY 0
-
-typedef struct {
- int domain;
- int type;
- int protocol;
-
- // UNIX socket
- char *path;
- int incoming_fd;
-} SOCKET;
-
-typedef struct {
- char *path;
- SOCKET *s;
-} OPEN_UNIX_SOCKET;
-
-typedef uint32_t in_addr_t;
-typedef uint16_t in_port_t;
-typedef unsigned int sa_family_t;
-typedef uint32_t socklen_t;
-
-struct sockaddr {
- sa_family_t sa_family; /* Address family */
- char *sa_data; /* Socket address */
-};
-
-struct sockaddr_un {
- sa_family_t sun_family; /* Address family */
- char *sun_path; /* Socket pathname */
-};
-
-int socket(int domain, int type, int protocol);
-int accept(int socket, struct sockaddr *address, socklen_t *address_len);
-int bind(int sockfd, const struct sockaddr *addr, socklen_t addrlen);
diff --git a/userland/libc/stdio.h b/userland/libc/stdio.h
deleted file mode 100644
index 38aaf22..0000000
--- a/userland/libc/stdio.h
+++ /dev/null
@@ -1,95 +0,0 @@
-#ifndef STDIO_H
-#define STDIO_H
-#include <stdarg.h>
-#include <stddef.h>
-#include <stdint.h>
-
-// FIXME: Most of these should probably not be here. But I am too lazy
-// to fix it right now. This is futures mees problem to deal wth.
-
-#define EOF (-1)
-
-#define SEEK_SET 0
-#define SEEK_CUR 1
-#define SEEK_END 2
-
-typedef struct __IO_FILE FILE;
-struct __IO_FILE {
- size_t (*write)(FILE *, const unsigned char *, size_t);
- size_t (*read)(FILE *, unsigned char *, size_t);
- int (*seek)(FILE *, long, int);
- long offset_in_file;
- int buffered_char;
- int has_buffered_char;
- uint8_t is_eof;
- uint8_t has_error;
- uint64_t file_size;
- void *cookie;
-};
-
-size_t write_fd(FILE *f, const unsigned char *s, size_t l);
-size_t read_fd(FILE *f, unsigned char *s, size_t l);
-int seek_fd(FILE *stream, long offset, int whence);
-
-typedef struct {
- int fd;
-} FILE_FD_COOKIE;
-
-extern FILE __stdin_FILE;
-extern FILE __stdout_FILE;
-extern FILE __stderr_FILE;
-
-#define stdin (&__stdin_FILE)
-#define stdout (&__stdout_FILE)
-//#define stderr (&__stderr_FILE)
-#define stderr (&__stdout_FILE)
-
-typedef int mode_t;
-
-void perror(const char *s);
-
-int putchar(int c);
-int puts(const char *s);
-int brk(void *addr);
-void *sbrk(intptr_t increment);
-int write(int fd, const char *buf, size_t count);
-int pwrite(int fd, const char *buf, size_t count, size_t offset);
-int printf(const char *format, ...);
-int pread(int fd, void *buf, size_t count, size_t offset);
-int read(int fd, void *buf, size_t count);
-int fork(void);
-int memcmp(const void *s1, const void *s2, size_t n);
-int wait(int *stat_loc);
-void exit(int status);
-void *memcpy(void *dest, const void *src, uint32_t n);
-int shm_open(const char *name, int oflag, mode_t mode);
-int dprintf(int fd, const char *format, ...);
-int vdprintf(int fd, const char *format, va_list ap);
-int vprintf(const char *format, va_list ap);
-int snprintf(char *str, size_t size, const char *format, ...);
-int vsnprintf(char *str, size_t size, const char *format, va_list ap);
-int vfprintf(FILE *f, const char *fmt, va_list ap);
-int fgetc(FILE *stream);
-int getchar(void);
-#define getc(_a) fgetc(_a)
-size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);
-size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream);
-FILE *fopen(const char *pathname, const char *mode);
-int fclose(FILE *stream);
-int fseek(FILE *stream, long offset, int whence);
-int fprintf(FILE *f, const char *fmt, ...);
-long strtol(const char *nptr, char **endptr, int base);
-char *strchr(const char *s, int c);
-char *strcat(char *s1, const char *s2);
-char *fgets(char *s, int n, FILE *stream);
-FILE *tmpfile(void);
-int feof(FILE *stream);
-int fscanf(FILE *stream, const char *format, ...);
-int ungetc(int c, FILE *stream);
-long ftell(FILE *stream);
-int fputc(int c, FILE *stream);
-int remove(const char *path);
-int ferror(FILE *stream);
-int fputs(const char *s, FILE *stream);
-int fflush(FILE *stream);
-#endif
diff --git a/userland/libc/stdlib.h b/userland/libc/stdlib.h
deleted file mode 100644
index bba5d84..0000000
--- a/userland/libc/stdlib.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#ifndef STDLIB_H
-#define STDLIB_H
-#include <stddef.h>
-#include <limits.h>
-#define RAND_MAX (UINT32_MAX)
-
-void *malloc(size_t s);
-void *calloc(size_t nelem, size_t elsize);
-void *realloc(void *ptr, size_t size);
-void free(void *p);
-char *getenv(const char *name);
-int rand(void);
-void srand(unsigned int seed);
-unsigned long strtoul(const char *restrict str,
- char **restrict endptr, int base);
-int atoi(const char *str);
-#endif
diff --git a/userland/libc/string.h b/userland/libc/string.h
deleted file mode 100644
index f811dba..0000000
--- a/userland/libc/string.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#ifndef STRING_H
-#define STRING_H
-#include <stddef.h>
-#include <stdint.h>
-
-char *strerror(int errnum);
-void *memset(void *s, int c, size_t n);
-void *memcpy(void *dest, const void *src, uint32_t n);
-int strcmp(const char *s1, const char *s2);
-char *strcpy(char *dest, const char *src);
-size_t strlen(const char *s);
-size_t strnlen(const char *s, size_t maxlen);
-int sscanf(const char *s, const char *restrict format, ...);
-char *strrchr(const char *s, int c);
-int strncmp(const char *s1, const char *s2, size_t n);
-char *strncpy(char *s1, const char *s2, size_t n);
-#endif
diff --git a/userland/libc/strings.h b/userland/libc/strings.h
deleted file mode 100644
index e69de29..0000000
--- a/userland/libc/strings.h
+++ /dev/null
diff --git a/userland/libc/syscall.h b/userland/libc/syscall.h
deleted file mode 100644
index 952492f..0000000
--- a/userland/libc/syscall.h
+++ /dev/null
@@ -1,149 +0,0 @@
-#ifndef SYSCALL_H
-#define SYSCALL_H
-#include "socket.h"
-#include <stddef.h>
-#include <stdint.h>
-
-#define SYS_OPEN 0
-#define SYS_READ 1
-#define SYS_WRITE 2
-#define SYS_PREAD 3
-#define SYS_PWRITE 4
-#define SYS_FORK 5
-#define SYS_EXEC 6
-#define SYS_GETPID 7
-#define SYS_EXIT 8
-#define SYS_WAIT 9
-#define SYS_BRK 10
-#define SYS_SBRK 11
-#define SYS_PIPE 12
-#define SYS_DUP2 13
-#define SYS_CLOSE 14
-#define SYS_OPENPTY 15
-#define SYS_POLL 16
-#define SYS_MMAP 17
-#define SYS_ACCEPT 18
-#define SYS_BIND 19
-#define SYS_SOCKET 20
-#define SYS_SHM_OPEN 21
-#define SYS_FTRUNCATE 22
-#define SYS_STAT 23
-#define SYS_MSLEEP 24
-#define SYS_UPTIME 25
-
-int syscall(uint32_t eax, uint32_t ebx, uint32_t ecx, uint32_t edx,
- uint32_t esi, uint32_t edi);
-int s_syscall(int sys);
-
-extern int errno;
-#define RC_ERRNO(_rc) \
- { \
- int c = _rc; \
- if (c < 0) { \
- errno = -(c); \
- return -1; \
- } \
- return c; \
- }
-
-typedef int mode_t;
-
-typedef struct SYS_OPEN_PARAMS {
- char *file;
- int flags;
- int mode;
-} __attribute__((packed)) SYS_OPEN_PARAMS;
-
-typedef struct SYS_PREAD_PARAMS {
- int fd;
- void *buf;
- size_t count;
- size_t offset;
-} __attribute__((packed)) SYS_PREAD_PARAMS;
-
-typedef struct SYS_READ_PARAMS {
- int fd;
- void *buf;
- size_t count;
-} __attribute__((packed)) SYS_READ_PARAMS;
-
-typedef struct SYS_PWRITE_PARAMS {
- int fd;
- void *buf;
- size_t count;
- size_t offset;
-} __attribute__((packed)) SYS_PWRITE_PARAMS;
-
-typedef struct SYS_WRITE_PARAMS {
- int fd;
- void *buf;
- size_t count;
-} __attribute__((packed)) SYS_WRITE_PARAMS;
-
-typedef struct SYS_EXEC_PARAMS {
- char *path;
- char **argv;
-} __attribute__((packed)) SYS_EXEC_PARAMS;
-
-typedef struct SYS_DUP2_PARAMS {
- int org_fd;
- int new_fd;
-} __attribute__((packed)) SYS_DUP2_PARAMS;
-
-typedef struct SYS_OPENPTY_PARAMS {
- int *amaster;
- int *aslave;
- char *name;
- /*const struct termios*/ void *termp;
- /*const struct winsize*/ void *winp;
-} __attribute__((packed)) SYS_OPENPTY_PARAMS;
-
-typedef struct SYS_POLL_PARAMS {
- struct pollfd *fds;
- size_t nfds;
- int timeout;
-} __attribute__((packed)) SYS_POLL_PARAMS;
-
-typedef struct SYS_MMAP_PARAMS {
- void *addr;
- size_t length;
- int prot;
- int flags;
- int fd;
- size_t offset;
-} __attribute__((packed)) SYS_MMAP_PARAMS;
-
-typedef struct SYS_SOCKET_PARAMS {
- int domain;
- int type;
- int protocol;
-} __attribute__((packed)) SYS_SOCKET_PARAMS;
-
-typedef struct SYS_BIND_PARAMS {
- int sockfd;
- const struct sockaddr *addr;
- socklen_t addrlen;
-} __attribute__((packed)) SYS_BIND_PARAMS;
-
-typedef struct SYS_ACCEPT_PARAMS {
- int socket;
- struct sockaddr *address;
- socklen_t *address_len;
-} __attribute__((packed)) SYS_ACCEPT_PARAMS;
-
-typedef struct SYS_SHM_OPEN_PARAMS {
- const char *name;
- int oflag;
- mode_t mode;
-} __attribute__((packed)) SYS_SHM_OPEN_PARAMS;
-
-typedef struct SYS_FTRUNCATE_PARAMS {
- int fildes;
- uint64_t length;
-} __attribute__((packed)) SYS_FTRUNCATE_PARAMS;
-
-typedef struct SYS_STAT_PARAMS {
- const char *pathname;
- struct stat *statbuf;
-} __attribute__((packed)) SYS_STAT_PARAMS;
-#endif
diff --git a/userland/libc/time.h b/userland/libc/time.h
deleted file mode 100644
index 771e430..0000000
--- a/userland/libc/time.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#include <sys/types.h>
-
-struct tm {
- int tm_sec;
- int tm_min;
- int tm_hour;
- int tm_mday;
- int tm_mon;
- int tm_year;
- int tm_wday;
- int tm_yday;
- int tm_isdst;
- long __tm_gmtoff;
- const char *__tm_zone;
-};
-
-struct timespec {
- time_t tv_sec; // Seconds.
- long tv_nsec; // Nanoseconds.
-};
diff --git a/userland/libc/ubsan.h b/userland/libc/ubsan.h
deleted file mode 100644
index dac5407..0000000
--- a/userland/libc/ubsan.h
+++ /dev/null
@@ -1,79 +0,0 @@
-#include <stdint.h>
-
-enum { type_kind_int = 0, type_kind_float = 1, type_unknown = 0xffff };
-
-struct type_descriptor {
- uint16_t type_kind;
- uint16_t type_info;
- char type_name[1];
-};
-
-struct source_location {
- const char *file_name;
- union {
- unsigned long reported;
- struct {
- uint32_t line;
- uint32_t column;
- };
- };
-};
-
-struct OverflowData {
- struct source_location location;
- struct type_descriptor *type;
-};
-
-struct type_mismatch_data {
- struct source_location location;
- struct type_descriptor *type;
- unsigned long alignment;
- unsigned char type_check_kind;
-};
-
-struct type_mismatch_data_v1 {
- struct source_location location;
- struct type_descriptor *type;
- unsigned char log_alignment;
- unsigned char type_check_kind;
-};
-
-struct type_mismatch_data_common {
- struct source_location *location;
- struct type_descriptor *type;
- unsigned long alignment;
- unsigned char type_check_kind;
-};
-
-struct nonnull_arg_data {
- struct source_location location;
- struct source_location attr_location;
- int arg_index;
-};
-
-struct OutOfBoundsData {
- struct source_location location;
- struct type_descriptor *array_type;
- struct type_descriptor *index_type;
-};
-
-struct ShiftOutOfBoundsData {
- struct source_location location;
- struct type_descriptor *lhs_type;
- struct type_descriptor *rhs_type;
-};
-
-struct unreachable_data {
- struct source_location location;
-};
-
-struct invalid_value_data {
- struct source_location location;
- struct type_descriptor *type;
-};
-
-struct alignment_assumption_data {
- struct source_location location;
- struct source_location assumption_location;
- struct type_descriptor *type;
-};
diff --git a/userland/libc/unistd.h b/userland/libc/unistd.h
deleted file mode 100644
index b1e3434..0000000
--- a/userland/libc/unistd.h
+++ /dev/null
@@ -1,14 +0,0 @@
-#ifndef UNISTD_H
-#define UNISTD_H
-#include <stddef.h>
-
-extern int opterr, optind, optopt;
-extern char *optarg;
-
-int close(int fildes);
-int ftruncate(int fildes, size_t length);
-int execv(char *path, char **argv);
-int pipe(int fd[2]);
-int dup2(int org_fd, int new_fd);
-int getopt(int argc, char * const argv[], const char *optstring);
-#endif
diff --git a/userland/libc/wchar.h b/userland/libc/wchar.h
deleted file mode 100644
index e69de29..0000000
--- a/userland/libc/wchar.h
+++ /dev/null
diff --git a/userland/libc/wctype.h b/userland/libc/wctype.h
deleted file mode 100644
index e69de29..0000000
--- a/userland/libc/wctype.h
+++ /dev/null