extern inline void up(struct semaphore * sem) 
static inline void up(struct semaphore * sem) 
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 */	cris_atomic_save(sem, flags);	wakeup = ++(sem->count.counter) <= 0;	cris_atomic_restore(sem, flags);	if(wakeup) {		__up(sem);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/semaphore.h/buggy/include/asm-cris/semaphore.h