extern inline void sema_init (struct semaphore *sem, int val) 
static inline void sema_init (struct semaphore *sem, int val) 
extern inline void sema_init (struct semaphore *sem, int val){	*sem = (struct semaphore)__SEMAPHORE_INITIALIZER(*sem, val);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c514b8be7aea4b5d8e16fba3a79b14aec3793f65/semaphore.h/buggy/include/asm-m68knommu/semaphore.h