extern inline int down_interruptible (struct semaphore * sem) 
static inline int down_interruptible (struct semaphore * sem) 
extern inline int down_interruptible (struct semaphore * sem){	int ret = 0;	might_sleep();	if (atomic_dec_return (&sem->count) < 0)		ret = __down_interruptible (sem);	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/23f88fe4bffe01a0d29326789cb5813cd6f8158e/semaphore.h/buggy/include/asm-v850/semaphore.h