static inline void __raw_read_unlock(rwlock_t *rw) 
static inline void __raw_read_unlock(raw_rwlock_t *rw) 
static inline void __raw_read_unlock(rwlock_t *rw){	unsigned long tmp, tmp2;	smp_mb();	__asm__ __volatile__("1:	ldrex	%0, [%2]\n""	sub	%0, %0, #1\n""	strex	%1, %0, [%2]\n""	teq	%1, #0\n""	bne	1b"	: "=&r" (tmp), "=&r" (tmp2)	: "r" (&rw->lock)	: "cc");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7e86df273292b3a88c14b9aed1006cddac2b4c23/spinlock.h/buggy/include/asm-arm/spinlock.h