diff options
| author | dzwdz | 2021-09-05 19:04:21 +0200 |
|---|---|---|
| committer | dzwdz | 2021-09-05 19:04:21 +0200 |
| commit | e447090093a01fea0b27c4340fcb54bbf9ae3396 (patch) | |
| tree | 5a9b6e120caa68f9a6f505499bb1a67fa352ee68 /src/kernel/types.h | |
| parent | 252f5e40c1c054e6ad52a413567460f3ed2917f4 (diff) | |
error out when <*/types.h> isn't included in headers which need it
Diffstat (limited to 'src/kernel/types.h')
| -rw-r--r-- | src/kernel/types.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kernel/types.h b/src/kernel/types.h index eb12f08..891e644 100644 --- a/src/kernel/types.h +++ b/src/kernel/types.h @@ -1,3 +1,5 @@ #pragma once #include <stdint.h> + +#define TYPES_INCLUDED typedef uintptr_t user_ptr; |