extern __inline__ unsigned long xchg_u32(volatile int * m, unsigned long val) 
static inline unsigned long xchg_u32(volatile int * m, unsigned long val) 
extern __inline__ unsigned long xchg_u32(volatile int * m, unsigned long val){  unsigned long tmp;  __asm__ __volatile__("rsil    a15, "__stringify(LOCKLEVEL)"\n\t"		       "l32i    %0, %1, 0              \n\t"		       "s32i    %2, %1, 0              \n\t"		       "wsr     a15, "__stringify(PS)" \n\t"		       "rsync                          \n\t"		       : "=&a" (tmp)		       : "a" (m), "a" (val)		       : "a15", "memory");  return tmp;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/system.h/buggy/include/asm-xtensa/system.h