Index: kernel/arch/mips32/include/types.h
===================================================================
--- kernel/arch/mips32/include/types.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/arch/mips32/include/types.h	(revision 32443b0b118c5c83d2c933b59a696bad00c9c1ca)
@@ -58,4 +58,27 @@
 typedef int32_t native_t;
 
+#define PRIp "x"	/**< Format for uintptr_t. */
+#define PRIs "u"	/**< Format for size_t. */
+#define PRIc "u"	/**< Format for count_t. */
+#define PRIi "u"	/**< Format for index_t. */
+
+#define PRId8 "d"	/**< Format for int8_t. */
+#define PRId16 "d"	/**< Format for int16_t. */
+#define PRId32 "ld"	/**< Format for int32_t. */
+#define PRId64 "lld"	/**< Format for int64_t. */
+#define PRIdn "d"	/**< Format for native_t. */
+
+#define PRIu8 "u"	/**< Format for uint8_t. */
+#define PRIu16 "u"	/**< Format for uint16_t. */
+#define PRIu32 "u"	/**< Format for uint32_t. */
+#define PRIu64 "llu"	/**< Format for uint64_t. */
+#define PRIun "u"	/**< Format for unative_t. */
+
+#define PRIx8 "x"	/**< Format for hexadecimal (u)int8_t. */
+#define PRIx16 "x"	/**< Format for hexadecimal (u)int16_t. */
+#define PRIx32 "x"	/**< Format for hexadecimal (u)uint32_t. */
+#define PRIx64 "llx"	/**< Format for hexadecimal (u)int64_t. */
+#define PRIxn "x"	/**< Format for hexadecimal (u)native_t. */
+
 /** Page Table Entry. */
 typedef struct {