__down
__down(&barrier->lock);
__down(&barrier->wait);
__down(sem);
static noinline void __down(struct semaphore *sem);