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/shared/types.h | |
parent | 8e757fae5aaece57755a98544f193bc2672966b3 (diff) |
put the `handle_t` typedef in `shared/types.h`
Diffstat (limited to 'src/shared/types.h')
-rw-r--r-- | src/shared/types.h | 1 |
1 files changed, 1 insertions, 0 deletions
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; |