Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision 5d494b3f7a42392f3a69ba78ee3c67c3969e5041)
+++ kernel/arch/arm32/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -43,8 +43,4 @@
 #endif
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -69,12 +65,4 @@
 typedef int32_t native_t;
 
-typedef uint8_t bool;
-typedef uint64_t thread_id_t;
-typedef uint64_t task_id_t;
-typedef uint32_t context_id_t;
-
-typedef int32_t inr_t;
-typedef int32_t devno_t;
-
 
 /** Page table entry.