Add a bulk interface to sem_down()