From e447090093a01fea0b27c4340fcb54bbf9ae3396 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sun, 5 Sep 2021 19:04:21 +0200
Subject: error out when <*/types.h> isn't included in headers which need it

---
 src/kernel/types.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel')

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;
-- 
cgit v1.2.3