diff options
| author | dzwdz | 2021-09-18 09:39:08 +0200 |
|---|---|---|
| committer | dzwdz | 2021-09-18 09:39:08 +0200 |
| commit | 3ef371d9183197bea81e6dd391860b19b1affbcf (patch) | |
| tree | 99201d0695c96921389045070995c00feeeadf1f /src/kernel/handle.h | |
| parent | 8e757fae5aaece57755a98544f193bc2672966b3 (diff) | |
put the `handle_t` typedef in `shared/types.h`
Diffstat (limited to 'src/kernel/handle.h')
| -rw-r--r-- | src/kernel/handle.h | 2 |
1 files changed, 0 insertions, 2 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, |