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 1974f56a0dc7b5508a418fa32f07674e63f0a46b)
@@ -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. */