extern inline void init_MUTEX_LOCKED (struct semaphore *sem) 
static inline void init_MUTEX_LOCKED (struct semaphore *sem) 
extern inline void init_MUTEX_LOCKED (struct semaphore *sem){        sema_init(sem, 0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/semaphore.h/buggy/include/asm-cris/semaphore.h