merge `kernel/types.h` and `init/types.h`

4 files changed, 0 insertions, 8 deletions

diff --git a/src/init/main.c b/src/init/main.c
index 683d0ca..aef6410 100644
--- a/src/init/main.c
+++ b/src/init/main.c
@@ -1,5 +1,4 @@
 #include <init/tar.h>
-#include <init/types.h>
 #include <shared/flags.h>
 #include <shared/syscalls.h>
 #include <stdint.h>
diff --git a/src/init/syscalls.c b/src/init/syscalls.c
index 6e00895..549ff61 100644
--- a/src/init/syscalls.c
+++ b/src/init/syscalls.c
@@ -1,5 +1,4 @@
 // this file could probably just get generated by a script
-#include <init/types.h>
 #include <shared/syscalls.h>
 
 _Noreturn void _syscall_exit(const char __user *msg, size_t len) {
diff --git a/src/init/tar.c b/src/init/tar.c
index 22e4785..24adfce 100644
--- a/src/init/tar.c
+++ b/src/init/tar.c
@@ -1,4 +1,3 @@
-#include <init/types.h>
 #include <shared/syscalls.h>
 #include <stdint.h>
 
diff --git a/src/init/types.h b/src/init/types.h
deleted file mode 100644
index 9c6d64b..0000000
--- a/src/init/types.h
+++ /dev/null
@@ -1,5 +0,0 @@
-#pragma once
-
-#define TYPES_INCLUDED
-
-#define __user