error out when <*/types.h> isn't included in headers which need it

1 files changed, 4 insertions, 2 deletions

diff --git a/src/shared/syscalls.h b/src/shared/syscalls.h
index 7a1acaf..0222f37 100644
--- a/src/shared/syscalls.h
+++ b/src/shared/syscalls.h
@@ -1,8 +1,10 @@
-// requires the user_ptr type from kernel/types.h or init/types.h
-
 #pragma once
 #include <stddef.h>
 
+#ifndef TYPES_INCLUDED
+#  error "please include <kernel/types.h> or <init/types.h> before this file"
+#endif
+
 typedef int handle_t;
 
 enum {