Index: kernel/arch/ia64/include/types.h
===================================================================
--- kernel/arch/ia64/include/types.h	(revision 5d494b3f7a42392f3a69ba78ee3c67c3969e5041)
+++ kernel/arch/ia64/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_ia64_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -70,12 +66,4 @@
 typedef int64_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;
-
 #endif