Index: kernel/arch/amd64/include/types.h
===================================================================
--- kernel/arch/amd64/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/amd64/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_amd64_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -62,11 +58,28 @@
 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;
+/**< Formats for uintptr_t, size_t, count_t and index_t */
+#define PRIp "llx"
+#define PRIs "llu"
+#define PRIc "llu"
+#define PRIi "llu"
 
-typedef int32_t inr_t;
-typedef int32_t devno_t;
+/**< Formats for (u)int8_t, (u)int16_t, (u)int32_t, (u)int64_t and (u)native_t */
+#define PRId8 "d"
+#define PRId16 "d"
+#define PRId32 "d"
+#define PRId64 "lld"
+#define PRIdn "lld"
+
+#define PRIu8 "u"
+#define PRIu16 "u"
+#define PRIu32 "u"
+#define PRIu64 "llu"
+#define PRIun "llu"
+
+#define PRIx8 "x"
+#define PRIx16 "x"
+#define PRIx32 "x"
+#define PRIx64 "llx"
+#define PRIxn "llx"
 
 /** Page Table Entry. */
Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ 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.
Index: kernel/arch/ia32/include/types.h
===================================================================
--- kernel/arch/ia32/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/ia32/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_ia32_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -62,11 +58,28 @@
 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;
+/**< Formats for uintptr_t, size_t, count_t and index_t */
+#define PRIp "x"
+#define PRIs "u"
+#define PRIc "u"
+#define PRIi "u"
 
-typedef int32_t inr_t;
-typedef int32_t devno_t;
+/**< Formats for (u)int8_t, (u)int16_t, (u)int32_t, (u)int64_t and (u)native_t */
+#define PRId8 "d"
+#define PRId16 "d"
+#define PRId32 "d"
+#define PRId64 "lld"
+#define PRIdn "d"
+
+#define PRIu8 "u"
+#define PRIu16 "u"
+#define PRIu32 "u"
+#define PRIu64 "llu"
+#define PRIun "u"
+
+#define PRIx8 "x"
+#define PRIx16 "x"
+#define PRIx32 "x"
+#define PRIx64 "llx"
+#define PRIxn "x"
 
 /** Page Table Entry. */
Index: kernel/arch/ia32xen/include/types.h
===================================================================
--- kernel/arch/ia32xen/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/ia32xen/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -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 {
Index: kernel/arch/ia64/include/types.h
===================================================================
--- kernel/arch/ia64/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ 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
 
Index: kernel/arch/mips32/include/types.h
===================================================================
--- kernel/arch/mips32/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/mips32/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_mips32_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -62,12 +58,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 {
Index: kernel/arch/ppc32/include/types.h
===================================================================
--- kernel/arch/ppc32/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/ppc32/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_ppc32_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -62,11 +58,28 @@
 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;
+/**< Formats for uintptr_t, size_t, count_t and index_t */
+#define PRIp "x"
+#define PRIs "u"
+#define PRIc "u"
+#define PRIi "u"
 
-typedef int32_t inr_t;
-typedef int32_t devno_t;
+/**< Formats for (u)int8_t, (u)int16_t, (u)int32_t, (u)int64_t and (u)native_t */
+#define PRId8 "d"
+#define PRId16 "d"
+#define PRId32 "d"
+#define PRId64 "lld"
+#define PRIdn "d"
+
+#define PRIu8 "u"
+#define PRIu16 "u"
+#define PRIu32 "u"
+#define PRIu64 "llu"
+#define PRIun "u"
+
+#define PRIx8 "x"
+#define PRIx16 "x"
+#define PRIx32 "x"
+#define PRIx64 "llx"
+#define PRIxn "x"
 
 /** Page Table Entry. */
Index: kernel/arch/ppc64/include/types.h
===================================================================
--- kernel/arch/ppc64/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/ppc64/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_ppc64_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -62,12 +58,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;
-
 /** Page Table Entry. */
 typedef struct {
Index: kernel/arch/sparc64/include/types.h
===================================================================
--- kernel/arch/sparc64/include/types.h	(revision cd8ad523401f883e29a5bd5c6ac5d359a1a1dc53)
+++ kernel/arch/sparc64/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
@@ -36,8 +36,4 @@
 #define KERN_sparc64_TYPES_H_
 
-#define NULL 0
-#define false 0
-#define true 1
-
 typedef signed char int8_t;
 typedef signed short int16_t;
@@ -62,11 +58,29 @@
 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;
+/**< Formats for uintptr_t, size_t, count_t and index_t */
+#define PRIp "llx"
+#define PRIs "llu"
+#define PRIc "llu"
+#define PRIi "llu"
 
-typedef int32_t inr_t;
-typedef int32_t devno_t;
+/**< Formats for (u)int8_t, (u)int16_t, (u)int32_t, (u)int64_t and (u)native_t */
+#define PRId8 "d"
+#define PRId16 "d"
+#define PRId32 "d"
+#define PRId64 "lld"
+#define PRIdn "lld"
+
+#define PRIu8 "u"
+#define PRIu16 "u"
+#define PRIu32 "u"
+#define PRIu64 "llu"
+#define PRIun "llu"
+
+#define PRIx8 "x"
+#define PRIx16 "x"
+#define PRIx32 "x"
+#define PRIx64 "llx"
+#define PRIxn "llx"
+
 typedef uint8_t asi_t;