Index: kernel/arch/ia32xen/include/types.h
===================================================================
--- kernel/arch/ia32xen/include/types.h	(revision ca21eb4b0114436f191b23c766e2d2e6187ca7d0)
+++ kernel/arch/ia32xen/include/types.h	(revision eda8b8b798466f2e78a0f083d263fcbaf0bbd615)
@@ -62,12 +62,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. */
 typedef struct {