extern __inline__ void down(struct semaphore * sem)
static inline void down(struct semaphore * sem)
extern __inline__ void down(struct semaphore * sem){#if WAITQUEUE_DEBUG	CHECK_MAGIC(sem->__magic);#endif	if (atomic_sub_return(1, &sem->count) < 0)		__down(sem);}