From 3ef371d9183197bea81e6dd391860b19b1affbcf Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sat, 18 Sep 2021 09:39:08 +0200
Subject: put the `handle_t` typedef in `shared/types.h`

---
 src/kernel/handle.h   | 2 --
 src/shared/syscalls.h | 2 --
 src/shared/types.h    | 1 +
 3 files changed, 1 insertion(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/kernel/handle.h b/src/kernel/handle.h
index 917f738..6ceae2e 100644
--- a/src/kernel/handle.h
+++ b/src/kernel/handle.h
@@ -5,8 +5,6 @@
 
 #define HANDLE_MAX 16
 
-typedef int handle_t; // TODO duplicated in syscalls.h
-
 enum handle_type {
 	HANDLE_EMPTY,
 	HANDLE_FILE,
diff --git a/src/shared/syscalls.h b/src/shared/syscalls.h
index 2c1648e..0b856e6 100644
--- a/src/shared/syscalls.h
+++ b/src/shared/syscalls.h
@@ -2,8 +2,6 @@
 #include <shared/types.h>
 #include <stddef.h>
 
-typedef int handle_t;
-
 enum {
 	// idc about stable syscall numbers just yet
 	_SYSCALL_EXIT,
diff --git a/src/shared/types.h b/src/shared/types.h
index 5dd39ad..ea6f886 100644
--- a/src/shared/types.h
+++ b/src/shared/types.h
@@ -8,3 +8,4 @@
 #endif
 
 typedef void __user * userptr_t;
+typedef int handle_t;
-- 
cgit v1.2.3