Index: kernel/arch/amd64/include/arch/types.h
===================================================================
--- kernel/arch/amd64/include/arch/types.h	(revision a0a273e83bf1cedff09f94c8181d7f89a6c637a6)
+++ kernel/arch/amd64/include/arch/types.h	(revision 2a7749d7cdfe920a4293c37d0e5d6658e7c6f75d)
@@ -53,7 +53,4 @@
 } fncptr_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 sysarg_t. */