void atomic_set(atomic_t *v, int i){	unsigned long flags;	spin_lock_irqsave(ATOMIC_HASH(v), flags);	v->counter = i;	spin_unlock_irqrestore(ATOMIC_HASH(v), flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4a6dae6d382e9edf3ff440b819e554ed706359bc/atomic32.c/buggy/arch/sparc/lib/atomic32.c