local_irq_restore(flags); 
static  __inline__ void __raw_read_lock(raw_rwlock_t *rw){	unsigned long flags;	local_irq_save(flags);	__raw_spin_lock(&rw->lock);	rw->counter++;	__raw_spin_unlock(&rw->lock);	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/08dc2ca61e683e9119ff534dfcd0fd555401fcf7/spinlock.h/clean/include/asm-parisc/spinlock.h