sem->sleepers = 0; 
static inline void sema_init (struct semaphore *sem, int val){	atomic_set(&sem->count, val);	init_waitqueue_head(&sem->wait);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/aa3a6f456f6ca162d3406a6e2c09a5c928833e4f/semaphore.h/buggy/include/asm-xtensa/semaphore.h