Searched refs:dev_sema (Results 1 – 1 of 1) sorted by relevance
126 static sema_t dev_sema; variable337 (void) sema_init(&dev_sema, 1, USYNC_THREAD, NULL); in main()1408 while (sema_wait(&dev_sema) != 0) in lock_dev()1522 (void) sema_post(&dev_sema); in unlock_dev()