diff options
| -rw-r--r-- | src/kernel/handle.h | 2 | ||||
| -rw-r--r-- | src/shared/syscalls.h | 2 | ||||
| -rw-r--r-- | src/shared/types.h | 1 |
3 files changed, 1 insertions, 4 deletions
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; |