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