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;#if WAITQUEUE_DEBUG	CHECK_MAGIC(sem->__magic);#endif	if (atomic_sub_return(1, &sem->count) < 0)		ret = __down_interruptible(sem);	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/semaphore.h/clean/include/asm-xtensa/semaphore.h