local_save_flags(flags); local_irq_disable(); 
cris_atomic_save(sem, flags); 
extern inline void up(struct semaphore * sem){  	unsigned long flags;	int wakeup;	/* atomically increment the semaphores count, and if it was negative, we wake people */	local_save_flags(flags);	local_irq_disable();	wakeup = ++(sem->count.counter) <= 0;	local_irq_restore(flags);	if(wakeup) {		__up(sem);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8d20a541b089ecb67a88a673548161b686ed7b85/semaphore.h/buggy/include/asm-cris/semaphore.h