extern __inline__ void atomic_sub(int i, volatile atomic_t *v) 
static inline void atomic_sub(int i, volatile atomic_t *v) 
extern __inline__ void atomic_sub(int i, volatile atomic_t *v){	unsigned long flags;	cris_atomic_save(v, flags);	v->counter -= i;	cris_atomic_restore(v, flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/atomic.h/buggy/include/asm-cris/atomic.h