Index: kernel/arch/arm32/include/arch/types.h
===================================================================
--- kernel/arch/arm32/include/arch/types.h	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/arm32/include/arch/types.h	(revision c212a03937276f657ca068f79bcfbd68dd0cdb9d)
@@ -60,7 +60,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. */