Index: kernel/arch/abs32le/include/types.h
===================================================================
--- kernel/arch/abs32le/include/types.h	(revision dc0b96419120ee5e704d73292cca782d65f45781)
+++ kernel/arch/abs32le/include/types.h	(revision 46c20c843b2930f93143ea308af9c4d278d6cf64)
@@ -53,9 +53,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