diff --git a/cpu/cc2430/8051def.h b/cpu/cc2430/8051def.h
index 3201cba6e..1b36bd207 100644
--- a/cpu/cc2430/8051def.h
+++ b/cpu/cc2430/8051def.h
@@ -56,33 +56,12 @@ typedef unsigned short clock_time_t;
 #define DISABLE_INTERRUPTS()  do {EA = 0;} while(0)
 #define ENABLE_INTERRUPTS()   do {EA = 1;} while(0)
 
-#define ENTER_CRITICAL()	\
-{	\
-	__asm		\
-	push	ACC	\
-	push	IE	\
-	__endasm;	\
-}	\
-	EA = 0;
-
-#define EXIT_CRITICAL()	\
-{	\
-	__asm			\
-	pop		ACC	\
-	__endasm;		\
-	ACC &= 0x80;		\
-	IE |= ACC;		\
-	__asm			\
-	pop		ACC	\
-	__endasm; 		\
-}
-
 /* Macro for a soft reset. */
 #define SOFT_RESET() do {((void (__code *) (void)) 0x0000) ();} while(0)
 
 /* We don't provide architecture-specific checksum calculations */
-#define UIP_ARCH_ADD32		0
-#define UIP_ARCH_CHKSUM	0
+#define UIP_ARCH_ADD32    0
+#define UIP_ARCH_CHKSUM	  0
 
 #define CC_CONF_ASSIGN_AGGREGATE(dest, src)	\
     memcpy(dest, src, sizeof(*dest))