Index: kernel/arch/amd64/include/types.h
===================================================================
--- kernel/arch/amd64/include/types.h	(revision dc0b96419120ee5e704d73292cca782d65f45781)
+++ kernel/arch/amd64/include/types.h	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
@@ -50,9 +50,11 @@
 } fncptr_t;
 
-#define PRIp   PRIx64  /**< Format for uintptr_t. */
-#define PRIs   PRIu64  /**< Format for size_t. */
+#define INTN_C(c)   INT64_C(c)
+#define UINTN_C(c)  UINT64_C(c)
+
 #define PRIdn  PRId64  /**< Format for native_t. */
 #define PRIun  PRIu64  /**< Format for unative_t. */
 #define PRIxn  PRIx64  /**< Format for hexadecimal unative_t. */
+#define PRIua  PRIu64  /**< Format for atomic_count_t. */
 
 #endif