__down 36 kernel/semaphore.c static noinline void __down(struct semaphore *sem); __down 61 kernel/semaphore.c __down(sem);