int result = ia64_fetchadd4_acq((unsigned int *)&sem->count, 1); 
long result = ia64_fetchadd8_acq((unsigned long *)&sem->count, 1); 
__down_read (struct rw_semaphore *sem){	int result = ia64_fetchadd4_acq((unsigned int *)&sem->count, 1);	if (result < 0)		rwsem_down_read_failed(sem);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/16592d269801ea68130b283c888ffb3c3e988299/rwsem.h/clean/include/asm-ia64/rwsem.h