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