Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision dc0b96419120ee5e704d73292cca782d65f45781)
+++ kernel/arch/arm32/include/types.h	(revision 202f57b62cc63567ddf782a70c1504e930277141)
@@ -57,9 +57,11 @@
 } fncptr_t;
 
-#define PRIp   PRIx32  /**< Format for uintptr_t. */
-#define PRIs   PRIu32  /**< Format for size_t. */
+#define INTN_C(c)   INT32_C(c)
+#define UINTN_C(c)  UINT32_C(c)
+
 #define PRIdn  PRId32  /**< Format for native_t. */
 #define PRIun  PRIu32  /**< Format for unative_t. */
 #define PRIxn  PRIx32  /**< Format for hexadecimal unative_t. */
+#define PRIua  PRIu32  /**< Format for atomic_count_t. */
 
 #endif