Reimplemented atomic destructive read. Revised irq control capabilities.

conts/libl4/include/l4lib/arch-arm/irq.h

@@ -1,26 +1,11 @@
 #ifndef __L4LIB_ARCH_IRQ_H__
 #define __L4LIB_ARCH_IRQ_H__
 
-
 /*
  * Destructive atomic-read.
  *
  * Write 0 to byte at @location as its contents are read back.
  */
-static inline char l4_atomic_dest_readb(void *location)
-{
-	unsigned char zero = 0; /* Input */
-	unsigned char val;	/* Output */
-	char *loc = location;	/* Both input and output */
-
-	__asm__ __volatile__ (
-		"swpb	%1, %3, [%0] \n"
-		: "=r" (*loc), "=r" (val)
-		: "r" (*loc), "r" (zero)
-	);
-
-	return val;
-}
-
+char l4_atomic_dest_readb(void *location);
 
 #endif