static void inline __read_unlock(rwlock_t *lock) 
static void inline __read_unlock(raw_rwlock_t *lock) 
static void inline __read_unlock(rwlock_t *lock){	unsigned long tmp1, tmp2;	__asm__ __volatile__("	membar	#StoreLoad | #LoadLoad\n""1:	lduw	[%2], %0\n""	sub	%0, 1, %1\n""	cas	[%2], %0, %1\n""	cmp	%0, %1\n""	bne,pn	%%xcc, 1b\n""	 nop"	: "=&r" (tmp1), "=&r" (tmp2)	: "r" (lock)	: "memory");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fb1c8f93d869b34cacb8b8932e2b83d96a19d720/spinlock.h/clean/include/asm-sparc64/spinlock.h